All jobs → Partner boards

Research Software Engineer, Formal Methods (Hybrid)

RTX • Cambridge, MA, US • published 2026-09-30 13:58:50.825234

Description

**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 Technolo...

Get jobs like this daily in Telegram: @careeri_bot