About this opportunity
Riverside Research lists this Formal Methods Research Scientist – Systems Security opportunity in lexington, Massachusetts. Review the employer’s description below for duties, qualifications and application requirements.
Job description
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-Ljbffr
Worksite address
lexington, MA, 02173, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.