Senior Research Software Engineer ( Rust )

Description:

A leading global research organization is advancing the frontier of secure and privacy-preserving computation using zero-knowledge (ZK) proofs. You will collaborate with top experts driving real-world applications of ZK technology and shaping the future of scalable, private cloud systems.

As a Senior Research Software Engineer, you will design and implement ZK circuits and build reusable components and SDKs that accelerate ecosystem-wide development.

Responsibilities:

• Design and implement ZK circuits for real production use cases (e.g., signature verification, Merkle-tree-based state management);
• Use and extend circuit SDKs to streamline development workflows;
• Develop reusable circuit components and SDK modules that support emerging token standards;
• Add new features and maintain high-speed cryptography libraries (e.g., folding-scheme libraries or equivalent ZK proof frameworks);
• Integrate cutting-edge optimizations into proof systems and keep them aligned with state-of-the-art research;
• Parallelize proof generation across multiple machines and distributed environments;
• Implement GPU-based optimizations to accelerate proving performance.

Requirements:

• Bachelor’s degree in Computer Science or related field or equivalent practical experience;
• 4+ years of engineering experience with strong proficiency in Rust;
• Hands-on experience with constraint systems and ZK proof systems.

Nice to haves:

• Master’s or Ph.D. in Computer Science, Mathematics, or related fields;
• Experience building ZK circuits with frameworks such as Bellpepper, Circom, or Arkworks;
• Familiarity with blockchain token standards;
• Understanding of modern proof systems and their optimizations;
• Previous experience implementing or optimizing ZK proof frameworks.

Working conditions:

• Long-term project;
• Redmond on-site, Serbia, Poland, Croatia remote, with overlap unitl 12:00 PM PST;
• US/Redmond preferred.