About this opportunity
Riverside Research lists this Research Scientist: Cryptography & Formal Methods opportunity in lexington, Massachusetts. Review the employer’s description below for duties, qualifications and application requirements.
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.
#J-18808-Ljbffr
Worksite address
lexington, MA, 02173, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.