RTX BBN Technologies seeks a Formal Methods researcher with System/Software Engineers experience to join exciting new projects in process logic and communications network analysis and formalism. The goal is to pursue external funding from government research agencies to help further U.S. National Security Objectives and the betterment of society, attract, hire and develop top-notch talent, and build technologies to support Formal Methods for verification of processes, networks, etc. The role will involve modeling and analyzing networks and complex processes to develop key insights and proofs and improve understanding and performance of such systems.
Requirements
- Experience in Formal Methods and scientific modelling.
- Demonstrated understanding of object-oriented programming and principles.
- Experience in disciplined Python, C++, and Java code development.
- Formal verification tools such as SMT solvers and interactive theorem provers.
- Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).
- Experience in Networking fundamentals.
- Experience working in an agile team and with version control systems.
Responsibilities
- Build and advance a Formal Methods-related research area for BBN having measurable impact on business capture.
- Articulate and execute a vision and tactical direction for BBN.
- Influence the same across RTX.
- Lead cross-functional teams performing business development, proposal preparation, and execution.
- Lead projects, as well as grow your team of collaborators and implementers.
- Lead and performing cutting edge research.
- Model and analyze networks and complex processes to develop key insights and proofs and improve understanding and performance of such systems.
Other
- A BS degree in Mathematics, Computer Science, or relevant field plus 10 years of relevant experience, or MS plus 7 years, or PhD plus 5 years. Experience in lieu of degree will be considered.
- Active and transferable Secret U.S. government security clearance is required prior to start date. (DOD secret clearance required)
- U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance
- Experience in business capture.
- Position may require some amount of overnight travel.
