Research Scientist: Cryptography & Formal Methods

Riverside Research; Lexington, Northern (MA, KY); Hybrid; USD 95,000 - 175,000; Full time

Job summary

Riverside Research seeks a Research Scientist in Cryptography with an interest in formal methods to advance mechanized proofs for cryptographic protocol implementations. You will contribute to cross‑functional R&D with teams in cryptography, programming languages, and systems software.

The role emphasizes developing models, proofs, and verification techniques, and communicating findings to technical and nontechnical audiences. U.S. citizenship required.

Qualifications

• Bachelor’s degree required; advanced degree preferred.
• 5+ years of relevant research or engineering experience.
• Equivalent combinations of education and experience will be considered.

Responsibilities

• Conduct formal methods and cryptography research with models, specifications, proofs, and verification.
• Develop and evaluate research prototypes/tools applying formal methods to security problems.
• Collaborate across formal methods, cryptography, languages, and systems software.
• Communicate results via publications, reports, and technical presentations.
• Support research planning and proposal development with new opportunities.

Education

Bachelor’s degree in computer science, computer engineering, cybersecurity, or related field

Tools

Rocq

Lean

Isabelle/HOL

EasyCrypt

F*

Job description

Riverside Research seeks a Research Scientist in Cryptography with an interest in formal methods to advance mechanized proofs for cryptographic protocol implementations. You will contribute to cross‑functional R&D with teams in cryptography, programming languages, and systems software.

The role emphasizes developing models, proofs, and verification techniques, and communicating findings to technical and nontechnical audiences. U.S. citizenship required.