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
#J-18808-LjbffrFormal Methods Research Scientist – Systems Security in lexington at Unknown Company
This position is listed as full time and onsite.