About this opportunity
Riverside Research lists this Research Scientist — Formal Methods for Secure Systems opportunity in lexington, Massachusetts. Review the employer’s description below for duties, qualifications and application requirements.
Job description
Riverside Research in the United States seeks a Research Scientist - Formal Methods to advance formal methods for software systems. The role includes prototyping, evaluating, and documenting new approaches across the systems software stack.
You will design innovative solutions, prototype features in projects like LLVM or CompCert, and contribute to papers while building tools in several languages. Strong CS fundamentals and U.S. citizenship required.
#J-18808-Ljbffr
Worksite address
lexington, MA, 02173, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.