Senior ZK Engineer

About the Role:
We are seeking a highly skilled ZK Engineer with deep expertise in zero-knowledge proofs (ZKPs) to help drive the development of our cutting-edge infrastructure. You will work on ZKVMs, recursive composition, and proof generation while optimizing performance for scalability and efficiency. Given our ambitious roadmap, we require someone who can hit the ground running and contribute immediately.

Key Responsibilities:
● Architect, design, and develop zero-knowledge virtual machines (ZKVMs) and proof systems.
● Implement recursive composition of proofs for efficient on-chain verification.
● Work with Groth16, Plonk, and other proving systems to enhance our infrastructure.
● Optimize GPU programming for WebGPU-based proof generation.
● Collaborate with internal teams to shape the design and scalability of our ZK infrastructure.
● Ensure memory efficiency and computational performance in ZK applications.

Requirements:
● Proven experience building ZK systems and implementing zero-knowledge proofs in production.
● Strong understanding of cryptographic protocols, algebra, and modular arithmetic.
● Expertise in Rust, Go, or low-level programming for cryptographic applications.
● Familiarity with tools like Gnark, Circom, Halo2, or similar.
● Experience with GPU programming (CUDA, WebGPU, or related technologies) is a plus.
● Ability to work autonomously in a fast-paced, research-driven startup environment.

Darwin Recruitment is acting as an Employment Agency in relation to this vacancy.

Reece Waldon