Research Scientist: Cryptography & Formal Methods

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.