Research Scientist - Cryptography & Formal Methods
Listed on 2026-10-07
-
Research/Development
Research Scientist, Data Scientist, Research Analyst, AI Business & Operations
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
This posting is for the Research Scientist
- Cryptography & Formal Methods role at Riverside Research, based in Lexington, MA, United States.
We would love to welcome a new Research Scientist
- Cryptography & Formal Methods to our team in Lexington, MA, United States.
For the Research Scientist
- Cryptography & Formal Methods position at Riverside Research, we are reviewing applications now.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).