Senior Researcher - Zero Knowledge Proof - Microsoft Research

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'llwork 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 bybuilding next-generationzero knowledgeproof systems, targeting higher security (e.g., resistance to quantum computers), improved performance, and usability. Your work will directlyimpactthe performance and scalability of modern proof systems, enabling real-world applications that demand both speed and security. In this role,you'lldeepen yourexpertiseinstate-of-the-artproof systemsand high-speed implementations.You'llhave opportunities to grow your skills through hands-on innovation and collaboration with world-class researchers and engineers.

• Design and implement thenext-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 developnewapplications)
• Support post-quantum secure crypto
• Publish papers in top security and cryptography conferences

RequiredQualifications

• PhD inComputerScienceorrelatedfield((or currently pursuing)

Preferred Qualifications:

• 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