FREE ACCESS
5,000–10,000 jobs/day
See all jobs on Scoutfield
Search thousands of fresh jobs every day.
Discover
- Fresh listings
- Fast filters
- No subscription required
Create a free account and start exploring right away.
Core Competencies
Role fitCore Competencies
Use this summary to align your resume positioning with the role.
Demonstrates expertise in programming and testing software systems using Python, C, C++, and Java, with a strong focus on formal methods and systems security. Proven ability to lead research projects, analyze system operations, and communicate effectively with stakeholders.
Highest-signal resume keywords
Python ProgrammingC/C++ DevelopmentFormal Methods ApplicationSystems Security ExperienceNetworking Fundamentals
ATS Keywords
Tailor your resumeApplicant Tracking System Keywords
Tip: use these terms in your resume and cover letter to boost ATS matches.
Hard Skills
Software DevelopmentAlgorithm DevelopmentModel CheckingMathematical LogicLogic ProgrammingSAT Solver LogicShell ScriptingProposal WritingCapture Management
Soft Skills
Critical AnalysisProject OwnershipLeadershipCommunication
Certifications & Qualifications
Top Secret Security Clearance
Industry Keywords
Network SecuritySystems ResilienceProtocolsSTEM DegreeU.S. Citizenship
Tech Stack
Tools & technologiesJavaPythonShell ScriptingC++
About the role
Key responsibilities & impact- Program and test software and systems in Python, C, C++, Java, and logic programming languages
- Design and develop formal or informal models and specifications of protocols and systems
- Develop algorithms for analyzing systems to understand operation, failure, security, and resilience
- Apply critical analyses to results to validate technical hypotheses and inform next steps
- Advance network security research at BBN
- Own projects or large components of projects
- Lead cutting-edge research and represent BBN to customers
- Travel to BBN, RTX, teammate, or customer sites for meetings and business activities
Requirements
What you’ll need- Typically requires a degree in Science, Technology, Engineering or Mathematics (STEM) and minimum 5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years of experience, or in absence of a degree, 9 years of relevant experience
- Minimum 3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java
- Experience with Formal Methods, preferably with the application and scaling of formal methods techniques (e.g. model checking, model measuring, and theorem proving)
- Prior experience with mathematical logic and logic programming
- Prior experience with networking fundamentals
- Prior experience in systems security
- Ability to obtain and maintain a U.S. government issued security clearance
- U.S. citizenship required
- Active and existing Top Secret security clearance required after day 1
- Experience writing logic for SAT, SMT solvers preferred
- Experience with Python and/or shell scripting preferred
- Experience writing proposals and capture preferred
- Experience in networking and protocols preferred
- PhD degree preferred
- Travel up to 10%
Benefits
Comp & perks- Compensation, healthcare, wellness, retirement, and work/life benefits
- Parental (including paternal) leave
- Flexible work schedules
- Achievement awards
- Educational assistance
- Child/adult backup care
- Relocation assistance
- Medical, dental, vision, life insurance
- Short-term disability
- Long-term disability
- 401(k) match
- Flexible spending accounts
- Employee assistance program
- Employee Scholar Program
- Paid time off
- Holidays
- Annual short-term and/or long-term incentive compensation programs may be available