Research Scientist - Cryptography & Formal Methods

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

Job summary

Riverside Research seeks a Research Scientist in Cryptography with an interest in formal methods to develop and evaluate new approaches for software and systems security. The role involves collaborating with experts across cryptography, programming languages, and systems software to advance R&D projects and publish findings.

The candidate will contribute to models, proofs, and verification techniques, and help identify opportunities for future research while communicating results to diverse

Qualifications

• Bachelor's degree in CS/CE/cybersecurity or related field; 5+ years of research/engineering.
• Experience in cryptography and formal methods, programming languages, or related areas.
• Experience developing or applying mechanized proofs or formal verification techniques.
• Demonstrated knowledge of cryptography and reasoning about cryptographic security.
• Ability to work independently and with researchers from different 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 that apply formal methods to software and systems security problems.
• Collaborate on multidisciplinary research with colleagues in formal methods, cryptography, programming languages, systems software, and related areas.
• Communicate research results through publications, reports, presentations, and briefings to technical and nontechnical audiences.
• Support research planning and proposal development by identifying new opportunities and contributing technical approaches.

Skills

Cryptography research

Formal methods interest

Independent research

Written communication

Collaboration across disciplines

Education

Bachelor's degree in CS/CE/cybersecurity or related field

Advanced degree preferred

Tools

Lean

Isabelle/HOL

Rocq

EasyCrypt

F*

Job description

Riverside Research seeks a Research Scientist in Cryptography with an interest in formal methods to develop and evaluate new approaches for software and systems security. The role involves collaborating with experts across cryptography, programming languages, and systems software to advance R&D projects and publish findings.

The candidate will contribute to models, proofs, and verification techniques, and help identify opportunities for future research while communicating results to diverse