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-LjbffrResearch Scientist: Cryptography & Formal Methods in lexington at Unknown Company
This position is listed as full time and onsite.