Senior Researcher - Zero Knowledge Proof - Microsoft Research

Microsoft Corporation•Redmond, WA

77d

About The Position

The Security Research Group at Microsoft Research Redmond is pushing the boundary of what is possible with the fascinating primitive of zero-knowledge (ZK) proofs. You'll work alongside experts who are shaping the future of secure and privacy-preserving computation through real-world applications of this primitive. Your contributions will help define the next generation of secure, scalable, and private systems in the cloud. You will advance the frontier of high-speed cryptography by building next-generation zero knowledge proof systems, targeting higher security (e.g., resistance to quantum computers), improved performance, and usability. Your work will directly impact the performance and scalability of modern proof systems, enabling real-world applications that demand both speed and security. In this role, you'll deepen your expertise in state-of-the-art proof systems and high-speed implementations. You'llâ be opportunities to grow your skills through hands-on innovation and collaboration with world-class researchers and engineers.

Requirements

PhD in Computer Science or related field ((or currently pursuing)

Nice To Haves

Prior experience with designing and implementing high-speed proof systems
Familiarity and prior experience with post-quantum cryptographic primitives (e.g., lattice-based commitments)
Experience with Rust
Familiarity with making proof systems usable with compilers

Responsibilities

Design and implement the next-generation prover
Make proof systems accessible to non-experts by supporting application logic specified in high-level languages (improve usability and reduce the cost to developâ newâ applications)
Support post-quantum secure crypto
Publish papers in top security and cryptography conferences

Stand Out From the Crowd

Upload your resume and get instant feedback on how well it matches this job.

Upload and Match Resume