ZK Proof Engineer
Axiom · USA
About this role
## About Axiom Axiom is using zero-knowledge proofs to enable new types of verifiable and private software applications, starting with crypto and fintech. We’re a small but incredibly strong team backed by leading investors in crypto. - Funding: https://blog.axiom.xyz/funding/ - OpenVM announcement: https://blog.axiom.xyz/openvm We recently released **OpenVM**, a performant and modular zkVM framework built for customization and extensibility. OpenVM allows developers to verify the correct execution of arbitrary computer programs in a flexible and performant way. We’re building ZK-enabled products using OpenVM and supporting teams building on OpenVM. ## Role: ZK Proof Engineer We’re looking for a **ZK Proof Engineer** to implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation. ### What you’ll do - Build systems that interface between low-level computer systems (e.g., **RISC-V ISA**), compiler frameworks (e.g., **LLVM**), and **database backends** - Connect those components with cutting-edge zero-knowledge proof systems - Optimize **ZK provers** - Implement novel **ZK circuits** - Make design choices to enable rapid development of secure and efficient systems ## Location - Office: **NYC** - In-person in **NY** is strongly preferred - Remote candidates may be considered
Listing freshness
CronJobs last confirmed this listing 6d ago. If its source stops confirming the opening for seven days, this page is removed from active inventory.