This list contains only the countries for which job offers have been published in the selected language (e.g., in the French version, only job offers written in French are displayed, and in the English version, only those in English).
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. As a Senior Applied Cryptographer, you will design and implement next-generation zero-knowledge proof systems targeting improved performance, higher security (e.g., resistance to quantum computers), and programmability (e.g., supporting general computation). In this role, you’ll deepen your expertise in state-of-the-art proof systems and high-speed implementations. You’ll have opportunities to grow your skills through hands-on innovation and collaboration with world-class researchers and engineers.
Job Responsibility:
Design and implement ZK circuits for real-world applications including signature verification and state management via Merkle trees
Use and extend circuit Software Development Kits (SDKs) to accelerate development
Develop reusable circuit components and SDKs to support new token standards
Add new functionality, extend existing functionality, and maintain high-speed cryptography libraries like Nova
Upgrade proof systems to include recent developments/optimizations
Parallelize proof generation across machines
GPU-based optimization of proving process
Embody our culture and values
Requirements:
Bachelor's Degree in Computer Science or related technical field AND 4+ years technical engineering experience with coding in languages including, but not limited to, Rust
OR equivalent experience
Nice to have:
Doctorate (PhD) or Master's Degree in Computer Science or related fields
Prior experience with ZK circuit development using frameworks like Bellpepper, Circom, or Arkworks
Familiarity with blockchain token standards
Familiarity with state-of-the-art proof systems
Prior experience with implementing and optimizing proof systems
Experience with constraint systems and ZK proof systems