Research Software Engineer, Formal Methods (Hybrid)
RTX Corporation24 hours ago
Cambridge, MA, USA +2 moreSenior
Base Salary
$87k - $165k/yr
Responsibilities
- Program and test software and systems using Python, C, C++, Java, and logic programming languages.
- Design formal and informal models and specifications for protocols and systems.
- Develop algorithms to analyze system behavior, security, resilience, and performance.
- Apply formal methods such as model checking and theorem proving and validate technical hypotheses.
- Advance network security research and own projects or large project components.
- Lead cutting-edge research and represent BBN to customers.
- Travel up to 10% to BBN, RTX, teammate, or customer sites.
Requirements
- A STEM degree with at least five years of relevant experience, an advanced related degree with at least three years of experience, or nine years of relevant experience without a degree.
- At least three years of experience with multiple software development tools and languages, including Python and either C/C++ or Java.
- Experience applying and scaling formal methods, including model checking, model measuring, or theorem proving.
- Experience with mathematical logic, logic programming, networking fundamentals, and systems security.
- Ability to obtain and maintain a U.S. government-issued security clearance, with an active and existing Top Secret clearance required after day one.
- Preferred qualifications include a PhD, SAT/SMT solver experience, Python or shell scripting, proposal and capture experience, and networking or protocol experience such as TCP/IP, BGP, and RF communications.
Benefits
- Medical, dental, vision, life insurance, short- and long-term disability, 401(k) match, flexible spending accounts, employee assistance, paid time off, and holidays.
- Parental leave, flexible work schedules, achievement awards, educational assistance, Employee Scholar Program, and backup care.
- Hybrid work arrangement from Columbia, Maryland; Arlington, Virginia; or Cambridge, Massachusetts, with relocation assistance available.
- Access to research mentorship, collaborative research teams, business and program support, and opportunities to transition research into fielded systems.
About RTX Corporation
RTX Corporation builds aerospace and defense systems through its Collins Aerospace, Pratt & Whitney, and Raytheon businesses, serving commercial aviation, the U.S. government, and allied militaries. Its products range from aircraft engines and avionics to radars, missiles, and command-and-control software, sold via long-term OEM programs and defense contracts. Formed in 2020 by the Raytheon–United Technologies merger, RTX is headquartered in Arlington, Virginia and trades on the NYSE as RTX.