Senior Principal Research Engineer, Formal Methods
RTX(1 month ago)
About this role
Senior research leader in formal methods and system/software engineering within RTX BBN, focused on modeling and analyzing networks and complex processes to advance verification technologies. The role supports development and transition of formal verification capabilities for U.S. national security and research collaborations. Based in Cambridge, MA, the position operates within an aerospace and defense R&D environment.
Required Skills
- Formal Methods
- Scientific Modelling
- Business Capture
- Object-Oriented
- Python
- C++
- Java
- SMT Solvers
- Theorem Proving
- Mathematical Logic
+3 more
Qualifications
- BS in Mathematics or Computer Science
- MS in Mathematics or Computer Science
- PhD in Mathematics or Computer Science
- DoD Secret Clearance
- U.S. Citizenship
About RTX
rtx.comAt RTX, we're accelerating ideas to solve some of the world's biggest challenges by bringing together the brightest, most innovative minds across aviation, space and defense.
View more jobs at RTX →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at RTX
Similar Jobs
Formal Verification Engineer - Firmware
NVIDIA(1 month ago)
Formal Methods Research Intern
Example Corp(2 months ago)
Principal Scientist (Future Opportunities)
Galois, Inc.(7 months ago)
Senior Formal Verification Engineer
NVIDIA(6 months ago)
Arithmetic Formal Verification Engineer
Intel(1 month ago)
Senior Formal Verification Engineer
NVIDIA(10 days ago)