Formal Methods R&D Software Engineer (Top Secret)

RTX; Cambridge (MA); Hybrid; USD 87,000 - 165,000; Full time

Benefits offered by this job

Relocation assistance

Benefits package

Job summary

RTX BBN Networking and Cyber Technologies group seeks a Research Software Engineer, Formal Methods, to apply rigorous software development with security-focused reasoning on large-scale dynamic systems. You will develop models, protocols, and algorithms to improve resilience and security while leading key components of projects.

You will contribute to and mentor a team, travel up to 10%, and collaborate with customers and RTX teammates to push state-of-the-art research and practical solutions in

Qualifications

• Typically requires: A University Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics or equivalent experience and minimum 5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years experience.
• Minimum 3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java.
• Prior 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 and willingness to obtain a Top Secret Clearance within a year.

Responsibilities

• Program and test software and systems in Python, C, C++, or Java, as well as using logic programming languages.
• Design and develop formal (using mathematical logic) or informal models and specifications of protocols and systems.
• Develop algorithms for analyzing systems to understand how and when they work or break, and how to make them more secure and resilient. Working knowledge applying formal methods techniques such as model checking and theorem proving are highly desirable.
• 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.
• Distinguish BBN and yourself to customers by leading and performing cutting edge research.
• Travel up to 10%; candidates should expect that they may be required to travel to a BBN, RTX, teammate, or customer site for meetings or other business-related activities.

Skills

Python

C/C++

Java

Formal Methods

Logic programming

Networking fundamentals

Security

Education

Bachelor's degree in Computer Science/Engineering/Math/Physics

Advanced degree in related field

Tools

SAT/SMT solvers

Model checking

Shell scripting

Job description

RTX BBN Networking and Cyber Technologies group seeks a Research Software Engineer, Formal Methods, to apply rigorous software development with security-focused reasoning on large-scale dynamic systems. You will develop models, protocols, and algorithms to improve resilience and security while leading key components of projects.

You will contribute to and mentor a team, travel up to 10%, and collaborate with customers and RTX teammates to push state-of-the-art research and practical solutions in