> Markdown version of [/jobs/ext/1406021-research-software-engineer-formal-methods-hybrid](https://www.wearedevelopers.com/jobs/ext/1406021-research-software-engineer-formal-methods-hybrid). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Research Software Engineer, Formal Methods (Hybrid)

- **Company:** RTX
- **Location:** Cambridge, MA, United States
- **Experience:** Experienced
- **Salary:** $86,800.0 - $165,200.0
- **Contract:** Permanent contract
- **Skills:** Testing (Software), C (Programming Language), Java (Programming Language), Border Gateway Protocol, C++ (Programming Language), Computer Engineering, Constraint Logic Programming, Python (Programming Language), Network Security, Networking Basics, Software Tools, Shell Script, TCP/IP, Information Technology, Formal Methods
- **Published:** July 23, 2026
- **Apply:** https://dejobs.org/x/x/7EB659A6197346DBAED774E927F83F63/job/

## About the Role

The ability to obtain and maintain a U.S. government issued security clearance is required., * Typically requires: A University Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics or equivalent experience and minimum 5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years experience.

 * Minimum 3 years' experience with multiple software development tools and languages, including Python and either C/C++ or Java.
 * Prior experience with Formal Methods, preferably with the application and scaling of formal methods techniques (e.g. model checking, model measuring, and theorem proving).
 * Prior experience with mathematical logic and logic programming.
 * Prior experience with networking fundamentals.
 * Prior experience in systems security.
 * Ability and willingness to obtain a Top Secret Clearance within a year., * Experience with Formal Methods, specifically with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving.
 * PhD degree.
 * Experience writing logic for SAT, SMT solvers.
 * Experience with Python and/or shell scripting.
 * Experience writing proposals, capture.
 * Experience in Networking and protocols (TCP/IP stacks, wire-level protocols, RF communications, BGP, etc.).

## Description

* Program and test software and systems in Python, C, C++, or Java, as well as using logic programming languages.
 * Design and develop formal (using mathematical logic) or informal models and specifications of protocols and systems.
 * Develop algorithms for analyzing systems to understand how and when they work or break, and how to make them more secure and resilient. Working knowledge applying formal methods techniques such as model checking and theorem proving are highly desirable.
 * Apply critical analyses to results to validate technical hypotheses and inform next steps.
 * Advance network security research at BBN.
 * Own projects or large components of projects.
 * Distinguish BBN and yourself to customers by leading and performing cutting edge research.
 * Travel up to 10%; candidates should expect that they may be required to travel to a BBN, RTX, teammate, or customer site for meetings or other business-related activities.


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [MCP doesn’t suck — your agent does](https://www.wearedevelopers.com/videos/100202-mcp-doesn-t-suck-your-agent-does)
- [An Applied Introduction to eBPF with Go](https://www.wearedevelopers.com/videos/1075-an-applied-introduction-to-ebpf-with-go)
- [ Secure Code Superstars: Empowering Developers and Surpassing Security Challenges Together](https://www.wearedevelopers.com/videos/422-secure-code-superstars-empowering-developers-and-surpassing-security-challenges-together)
- [Old tools, new tricks](https://www.wearedevelopers.com/videos/1916-old-tools-new-tricks)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [How Much Does a Software Engineer Make? Realistic Software Engineering Salaries](https://www.wearedevelopers.com/magazine/425-how-much-does-a-software-engineer-make-realistic-software-engineering-salaries)
- [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers)
- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)