Raytheon (RTX)
Research Software Engineer, Formal Methods (Hybrid)
- cambridge, United States · Hybrid
- Salary not published
- Posted 7 months ago
From Raytheon (RTX)'s careers page
Status: listed on the employer's own careers page when we last checked (daily). Confirm on their site before applying.
About the role
Date Posted. 2026-04-01Country. United States of AmericaLocation. US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6Position Role Type. Hybrid. U.S. Citizen, U.S. Person, or Immigration Status Re...
Skills: python, c, c++, java, formal methods, security clearance (top secret), model checking, theorem proving, model measuring, mathematical logic, logic programming, network security, systems security, algorithm development, protocol design, network protocols, tcp/ip, wire-level protocols, rf communications, bgp, sat, smt solvers, shell scripting, project leadership, process improvement
What they ask for vs. your profile
Must have
- C++
- Java
- Network administration
- Process improvement
- Python