Software Engineer – Zkvm
| Company | Nexus |
|---|---|
| Location | San Francisco, CA, USA |
| Salary | $Not Provided – $Not Provided |
| Type | Full-Time |
| Degrees | Master’s |
| Experience Level | Mid Level |
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.
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.
Preferred Qualifications
- 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.