RTX Corporation is looking for a Research Software Engineer, Formal Methods to enhance the security and resilience of large-scale dynamic systems by applying reasoning and formal methods techniques.
Requirements
- Minimum 3 years’ experience with multiple software development tools and languages, including but not limited to Python, C/C++ or Java.
- Understanding and familiarity with Formal Methods, preferably with 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.
- Experience with Formal Methods, specifically with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving
- Experience writing logic for SAT, SMT solvers.
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 network 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.
- 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.
Other
- Active and transferable U.S. government issued security clearance is required prior to start date. U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance
- DoD Clearance: Secret
- 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.
- Active and transferable Secret U.S. government security clearance is required prior to start date.
- Top Secret Clearance, day one
