About the role
Date Posted
2026-09-29 Country
United States of America Location
US-MA-CAMBRIDGE-BBN05 ~ 10 & 50 Moulton St ~ MOULTON B5 Position Role Type
Onsite
U.S. Citizen, U.S. Person, or Immigration Status Requirements:
U.S. citizenship is required, as only U.S. citizens are authorized to access information under this program/contract. Security Clearance Type
DoD Clearance: Top Secret Security Clearance Status
Active and existing security clearance required after day 1
At RTX, the world largest aerospace and defense company, 185,000 great minds are united by purpose and inspired to make a difference solving the world’s most complex problems. With our three market leading businesses, world-class operations and investments in research and development, we offer capabilities and opportunity no one else can. Together, we push the boundaries of known science and find new ways to connect and protect our world. Join us and help shape the future of aerospace and defense.
For over 70 years, RTX BBN Technologies (BBN) has solved challenging problems through research, exploration, development, and prototyping. RTX BBN’s Non-Kinetic and Capabilities and 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 specification…
