Cryptography & Formal Methods Research Scientist

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

Job summary

Riverside Research Institute seeks a Research Scientist – Cryptography with an interest in formal methods to advance secure computing technologies. The role involves developing models, specifications, proofs, and verification techniques, and building prototypes that apply formal methods to software and system security.

You will collaborate with experts in cryptography, programming languages, and systems software, present results, and help shape research directions. 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.
• Experience with cryptography and formal methods, programming languages, or related areas.
• Experience developing or applying mechanized proofs or formal verification techniques.
• Knowledge of cryptography and cryptographic security reasoning.
• 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 developing models, specifications, proofs, and verification techniques.
• Develop and evaluate research prototypes and tools applying 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

Formal methods

Proofs

Programming languages

Independent research

Communication

Education

Bachelor's degree in CS/CE/Cybersecurity

Advanced degree preferred

Tools

Rocq

Lean

Isabelle/HOL

EasyCrypt

F*

Job description

Riverside Research Institute seeks a Research Scientist – Cryptography with an interest in formal methods to advance secure computing technologies. The role involves developing models, specifications, proofs, and verification techniques, and building prototypes that apply formal methods to software and system security.

You will collaborate with experts in cryptography, programming languages, and systems software, present results, and help shape research directions. U.S.