Research Software Engineer, Formal Methods
RTX(1 month ago)
About this role
Research Software Engineer, Formal Methods at RTX BBN focused on developing software and formal models to improve security and resilience of large-scale dynamic systems. The role involves building core technologies for analyzing networks, protocols, and complex processes and contributing to cutting-edge research at BBN. The position is based onsite in Cambridge, MA and interfaces with customers and teammates across RTX.
Required Skills
- Python
- C++
- Java
- Logic Programming
- Formal Methods
- Model Checking
- Theorem Proving
- Networking
- Systems Security
- Algorithm Design
+4 more
Qualifications
- BS in Computer Science
- BS in Computer Engineering
- BS in Electrical Engineering
- BS in Mathematics
- BS in Physics
- MS Degree
- PhD Degree
- DoD Secret Clearance
- Top Secret Clearance
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)
Arithmetic Formal Verification Engineer
Intel(1 month ago)
Senior Formal Verification Engineer
NVIDIA(9 days ago)
Senior Formal Verification Engineer
NVIDIA(6 months ago)