Sr Principal Research Software Engineer, Formal Methods

Sr Principal Research Software Engineer, Formal Methods Join to apply for the Sr Principal Research Software Engineer, Formal Methods role at RTX. Location Hybrid in Cambridge, MA (BBN Headquarters 10 Moulton Street, Cambridge, MA 02138 USA) Position Role Type: Hybrid Security Clearance 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. What You Will Do 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. Help hire and develop top-notch personnel to round out the team you will grow and lead. Lead projects, as well as grow your team of collaborators and implementers. Distinguish BBN and yourself to customers by leading and performing cutting edge research. Qualifications You Must Have 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) Experience in Formal Methods and scientific modelling. Experience with business capture. Demonstrated understanding of object-oriented programming and principles. Experience in disciplined Python, C++, and Java code development. Position may require some amount of overnight travel. Qualifications We Prefer Formal verification tools such as SMT solvers and interactive theorem provers. Experience writing proposals with our target government customers. 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. Ability to receive a DoD clearance; an active clearance is highly desired. Salary and Benefits The salary range for this role is 137,000 USD - 275,000 USD. The salary range provided is a good faith estimate representative of all experience levels. RTX considers several factors when extending an offer, including role, responsibilities, location, and key skills. Hired applicants may be eligible for benefits, including medical, dental, vision, life insurance, short-term disability, long-term disability, 401(k) match, flexible spending accounts, flexible work schedules, employee assistance program, parental leave, paid time off, and holidays. Specific benefits depend on the business unit and whether the position is covered by a collective-bargaining agreement. #J-18808-Ljbffr

Created: 2025-09-17