Sign up to Y-Axis Job Site

Sign up with

Please choose a username.

Use this as Whatsapp number

I accept the Terms & Conditions

Already have an account? Log in here

Need some help?
Talk to us at +91 7670800001

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

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.