Senior Researcher - Zero Knowledge Proof - Microsoft Research at Microsoft
Redmond, Washington, United States -
Full Time


Start Date

Immediate

Expiry Date

25 Feb, 26

Salary

0.0

Posted On

27 Nov, 25

Experience

5 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

No

Skills

Zero Knowledge Proofs, Post-Quantum Cryptography, High-Speed Proof Systems, Rust, Compilers, Application Logic, Usability, Cryptographic Primitives

Industry

Software Development

Description
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 PhD in Computer Science or related field ((or currently pursuing) 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 and make proof systems accessible to non-experts. Support post-quantum secure crypto and publish papers in top security and cryptography conferences.
Loading...