Cryptography Research Scientist: Formal Methods & Verification

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

Job summary

Riverside Research Institute, an independent National Security nonprofit, seeks a Research Scientist in Cryptography with formal methods to advance mechanized proofs for secure software and systems. You will collaborate across cryptography, PL, and systems teams, building prototypes and publishing results.

The role requires a strong cryptography background, interest in formal methods, and ability to communicate complex ideas clearly. Applicants should be eligible for U.S.

Qualifications

• Bachelor’s degree in computer science, computer engineering, cybersecurity, or a related field.
• 5+ years of relevant research or engineering experience; advanced degree preferred.
• Research experience in cryptography and interest in formal methods, programming languages, or related areas.
• Experience developing or applying mechanized proofs or formal verification techniques.
• Knowledge of cryptography and techniques for reasoning about cryptographic security.
• Ability to communicate complex concepts clearly and collaborate across disciplines.
• Ability to obtain and maintain a U.S. government security clearance.

Responsibilities

• Conduct formal methods and cryptography research, including models, specifications, proofs, and verification techniques.
• Develop and evaluate research prototypes and tools applying formal methods to security problems.
• Collaborate across formal methods, cryptography, programming languages, and systems software.
• Communicate results through publications, reports, and presentations to technical and nontechnical audiences.
• Support research planning and proposal development by identifying opportunities and contributing technical approaches.

Skills

Cryptography

Formal methods

Programming languages

Formal verification

Education

Bachelor's degree in computer science/engineering/cybersecurity

Advanced degree preferred

Tools

Rocq

Lean

Isabelle/HOL

EasyCrypt

F*

Job description

Riverside Research Institute, an independent National Security nonprofit, seeks a Research Scientist in Cryptography with formal methods to advance mechanized proofs for secure software and systems. You will collaborate across cryptography, PL, and systems teams, building prototypes and publishing results.

The role requires a strong cryptography background, interest in formal methods, and ability to communicate complex ideas clearly. Applicants should be eligible for U.S.