About this opportunity
Riverside Research Institute lists this Junior Research Scientist, Formal Methods & Systems opportunity in lexington, Massachusetts. Review the employer’s description below for duties, qualifications and application requirements.
Job description
Riverside Research Institute seeks a Research Scientist specializing in formal methods to advance software-system verification. You will prototype and evaluate new formal-methods ideas, contribute to toolchains and papers, and collaborate across teams to push secure, robust system software.
The role requires a strong CS foundation, experience with language theory, and the ability to work on large, cross-disciplinary projects with potential security clearances.
#J-18808-Ljbffr
Worksite address
lexington, MA, 02173, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.