Software Engineer - zkVM

About Nexus

Nexus is building a world supercomputer by leveraging the latest advancements in AI, cryptography, engineering, and science. Our team of world-leading experts is developing and deploying the Nexus Layer 1 blockchain and Nexus zkVM (zero-knowledge virtual machine) in support of our mission to enable the Verifiable Internet.

Nexus raised $25M in Series A funding from Lightspeed, Pantera, Dragonfly, SV Angel, and more.

We are headquartered in San Francisco, and this role will be in-person with the rest of the Nexus team.

Software Engineer - zkVM

The Nexus zkVM is a modular, prover-optimized, fully-specified zero-knowledge virtual machine written in Rust, focusing on performance and security. This team works alongside researchers and engineers to push the limits of verifiable computation.

Learn more here: https://docs.nexus.xyz/zkvm/index

Responsibilities

• Work alongside leading researchers like Jens Groth, Victor Miller, and Michel Abdalla.

• Design, develop, and optimize zk-proof systems and protocols.

• Conduct research and implement emerging zk-proof techniques.

• Maintain and enhance libraries for zk-proof generation, verification, and integration.
  

Requirements

• Experience with proof assistants like Coq, Lean, Isabelle, F*, or equivalent.

• Familiarity with formal methods applied to distributed systems, cryptographic protocols, or blockchains.

• Strong curiosity for correctness, mathematical guarantees, and efficient computation.

• Comfort working alongside research and engineering teams.

• Embrace AI as a core part of how you work, think, and build.
  

Bonus Points

• Advanced degree in cryptography, formal methods, or a related technical field.

• Experience with zero-knowledge proofs and zkVM concepts.

• Open-source contributions related to distributed systems or Rust programming.
  

Benefits

• Competitive salary and generous equity compensation.

• Health insurance for employees and their dependents.

• Daily lunch and dinner provided at SF headquarters.

• Company-paid travel to events and conferences.

Nexus is committed to diversity in our workforce and is proud to be an Equal Opportunity Employer (EEO).