Software Engineer – Cryptography and Zero Knowledge
| Company | Nexus |
|---|---|
| Location | San Francisco, CA, USA |
| Salary | $Not Provided – $Not Provided |
| Type | Full-Time |
| Degrees | Master’s, PhD |
| Experience Level | Senior |
Requirements
- Professional experience implementing cryptographic primitives used for zero-knowledge proofs and verifiable computation.
- Expertise in arithmetizing computations for use with programmable cryptography. Fluency in implementing circuits and/or QAPs.
- 5+ years of relevant industry experience.
- Successful experience working in close collaboration with cryptography and privacy researchers.
- Excellent communication skills and the ability to convey complex ideas to both technical and non-technical stakeholders.
- Willingness to embrace a high-energy startup mentality, and be ready to thrive in the dynamic and fast-paced landscape of the zero-knowledge industry and scientific advancements.
- Proficiency in Rust and/or expertise in other systems languages like C/C++/Go.
- Embrace AI as a core part of how you work, think, and build.
Responsibilities
- Implement in Rust cutting-edge high-performance zero-knowledge proof systems such as zkSNARKs / zkSTARKs, as well as vector/polynomial commitment schemes, lookup arguments, and arithmetic circuits.
- Participate in the design, analysis, and implementation of sound arithmetizations of cryptographic primitives and the RISC-V architecture.
- Be at the frontiers of cryptography and contribute to the latest advancements in cryptography and zero-knowledge proofs research.
- Collaborate effectively with our research and engineering teams, ensuring seamless integration with the product, partners and clients.
Preferred Qualifications
- Advanced degree in a technical field.
- Experience working directly with any of the following technologies: STARKs, GKR, folding schemes, (P)IOPs, lookup arguments, lattice-based cryptography, or R1CS/AIR/Plonkish/CCS arithmetizations.
- Entrepreneurial spirit with an interest in spearheading new projects.
- Publications at venues like CRYPTO, EUROCRYPT, USENIX Security, ACM CCS, IEEE S&P, NDSS, or other top conferences and journals.