Research Software Engineer, Formal Methods

Date Posted:

2026-04-13Country:

United States of AmericaLocation:

US-MA-CAMBRIDGE-BBN06 10 & 50 Moulton St MOULTON B6Position Role Type:

HybridU.S. Citizen, U.S. Person, or Immigration Status Requirements:

The ability to obtain and maintain a U.S. government issued security clearance is required.​ U.S. citizenship is required, as only U.S. citizens are eligible for a security clearanceSecurity Clearance Type:

DoD Clearance: Top SecretSecurity Clearance Status:

Active and existing security clearance required after day 1

RTX Corporation is an Aerospace and Defense company that provides advanced systems and services for commercial, military and government customers worldwide. It comprises three industry-leading businesses – Collins Aerospace Systems, Pratt & Whitney, and Raytheon. Its 185,000 employees enable the company to operate at the edge of known science as they imagine and deliver solutions that push the boundaries in quantum physics, electric propulsion, directed energy, hypersonics, avionics and cybersecurity. The company, formed in 2020 through the combination of Raytheon Company and the United Technologies Corporation aerospace businesses, is headquartered in Arlington, VA.

The following position is to join our RTX BBN team:

RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in security and resilience of large-scale dynamic systems. In this position, you will contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic systems.

This position offers the opportunity to shine as a lead developer of an exceptional team while building core technologies for improving processes, networks, protocols, and systems. You will develop software to support models that analyze networks and complex processes, improve the collective understanding of such systems, and increase their performance. You will contribute to and work alongside extraordinarily talented individuals.

What You Will Do:

• 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 for model checking and theorem proving.

• Develop algorithms for analyzing software and communications systems to understand how and when they work or break, and how to make them more secure and resilient.

• Apply critical analysis to results to validate technical hypotheses and inform next steps.

• Own large components of projects.

• Distinguish BBN and yourself to customers by supporting 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.

Qualifications You Must Have:

• Bachelor's Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics and a minimum of 2 years experience, or a Master’s degree with a minimum 1 year 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 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 and systems security.

• Ability and willingness to obtain a Top Secret Clearance within a year.

Qualifications We Prefer - Familiar with all, Expert in some

• 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.

• Experience with Python and/or shell scripting.

• Experience writing proposals, capture.

• Experience in Networking and protocols (TCP/IP stacks, wire-level protocols, RF communications, BGP, etc.).

• Active and transferable Top Secret Clearance.

Work Location:

This position is Hybrid with significant presence at one of our three locations Cambridge, MA, Arlington, VA, or Columbia, MD.

Relocation Assistance available.

What We Offer

Whether you’re just starting out on your career journey or are an experienced professional, we offer a robust total rewards package with compensation; healthcare, wellness, retirement, and work/life benefits; career development and recognition programs. Some of the benefits we offer include parental (including paternal) leave, flexible work schedules, achievement awards, educational assistance and child/adult backup care.

To help you achieve your goals, BBN will provide:

• A strong leadership team well-versed in Government Research & Development.

• A collabora