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.