Junior Research Scientist, Formal Methods & Systems

Riverside Research Institute; Lexington (MA); On-site; USD 60,000 - 115,000; Full time

Job summary

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.

Qualifications

• Bachelor’s degree in CS/CE/EE or related field.
• Ability to work collaboratively on speculative research projects.
• Familiarity with formal methods and programming language concepts.
• Experience in C and assembly; understanding of compilers and interpreters.
• Experience with large projects and version control (Git).
• Strong communication and security feature documentation skills.
• Eligibility to obtain a U.S. government security clearance.

Responsibilities

• Contribute to design of innovative formal-methods solutions for software systems.
• Prototype and evaluate features in large projects like LLVM or CompCert.
• Build new tools in relevant programming languages.
• Document design decisions and technical challenges for leadership.
• Collaborate with teammates on debugging, reviews, and papers.

Skills

Formal methods

C programming

Assembly language

Algorithms

Data structures

Version control

Debugging large projects

Communication skills

Education

Bachelor’s degree in computer science / engineering or related field

Master’s or PhD in computer science or related field

Tools

LLVM

CompCert

Rocq

Lean

Isabelle

seL4

Rust

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.