Formal Methods Research Scientist – Systems Security

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

Job summary

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

Qualifications

• Bachelor’s degree in computer science or related field.
• Ability to work collaboratively on speculative research projects.
• Familiarity with formal methods.
• Experience with functional and imperative programming, including C and assembly code.
• Exposure to programming language concepts and implementations.
• Experience with large software projects and version control.
• Excellent communication to document and present security features.
• Fluency in multiple programming languages; strong data structures.
• Ability to obtain and maintain a U.S. government security clearance.

Responsibilities

• Contribute to the design of innovative solutions to customer problems related to formal methods and systems software
• Prototype and evaluate features within large software projects such as LLVM or CompCert
• Build new tools and capabilities in a range of relevant programming languages
• Contribute to whitepapers/published papers that document innovative work performed
• Document and communicate design decisions, technical challenges, and progress to technical leadership
• Collaborate with team members on debugging programs, pair programming, reviewing papers/proposals, etc.

Skills

Formal methods

C programming

Assembly language

Language theory

LLVM/CompCert

Software development

Security clearance

Multiple languages

Communication skills

Education

Bachelor’s degree in CS/CE/EE/cybersecurity

Master/PhD in CS or related

Tools

LLVM

CompCert

Rust

seL4

Git

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