Formal Methods Research Scientist – Systems Security
Listed on 2026-10-01
-
Research/Development
Research Scientist
Riverside Research in Lexington, MA invites a Research Scientist – Formal Methods to advance formal methods across the software stack. You will prototype, evaluate, and apply rigorous techniques to critical systems, collaborating with a team on challenging national security R&D projects.
The role requires strong CS fundamentals, experience with theorem provers or SMT, and the ability to publish results. You will contribute code, tooling, and papers, and communicate complex concepts to technical
We would love to welcome a new Formal Methods Research Scientist – Systems Security to our organisation in Lexington, MA, United States.
We appreciate your interest in this position.
Join Riverside Research and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Formal Methods Research Scientist – Systems Security role at Riverside Research, based in Lexington, MA, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).