Cryptography Research Scientist: Formal Methods & Verification

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.