About this opportunity
Riverside Research Institute lists this Cryptography Research Scientist: Formal Methods & Verification opportunity in lexington, Massachusetts. Review the employer’s description below for duties, qualifications and application requirements.
Job description
Riverside Research Institute, an independent National Security nonprofit, seeks a Research Scientist in Cryptography with formal methods to advance mechanized proofs for secure software and systems. You will collaborate across cryptography, PL, and systems teams, building prototypes and publishing results.
The role requires a strong cryptography background, interest in formal methods, and ability to communicate complex ideas clearly. Applicants should be eligible for U.S.
#J-18808-Ljbffr
Worksite address
lexington, MA, 02173, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.