Axiom - ZK Proof Engineer

Remote - New York City, New York, USA$125k - $250k+ Equity5mo ago

Remote NA ZK Engineer Rust C++Zero-Knowledge Ethereum

Requirements

• You have a strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs. • You have proficiency in Rust, C/C++, or a similarly performant backend language. We work primarily in Rust. • You are extremely detail oriented and have a security mindset. • You’ve worked on challenging software projects and have an eye for performance. • You’re a clear communicator and value collaboration. • You have an extremely strong work ethic. • Bonuses • You have experience with compiler frameworks like LLVM or MLIR. • You've worked with aspects of low level computer architecture like RISC-V or programmed FGPAs or other custom hardware. • You have experience with database backends, including experience with query planning or low level query engines. • You've done research in mathematics, theoretical computer science, or theoretical physics. • You have experience with low-level details of Ethereum • We welcome diverse backgrounds. Some non-traditional profiles that may be a good fit include high-frequency trading, math/physics/CS academia, and hardware engineering.

Responsibilities

• Are you authorized to work in the US? • Are you willing to work in-office in NYC?

Benefits

• You’ll be one of the earliest employees with ownership to make key technical/product decisions. • You’ll be working on groundbreaking tech that has the potential to be a key piece of infrastructure for the crypto industry. • You’ll receive a competitive salary with equity. • You will work with and receive mentorship from an exceptional team. • Our Team • Our founders Yi Sun and Jonathan Wang met while studying math at Harvard and have been working on ZK since 2021. Together, they wrote some of the most performant ZK circuits for elliptic curve cryptography and Ethereum data reads before starting Axiom. • Before Axiom, Yi was a professor at UChicago Statistics and did a math PhD at MIT. He was previously an advisor for Gauntlet and worked at an HFT startup from inception to profitable trading. Jonathan published number theory research in top math journals and did a math PhD at UChicago. • The rest of our small but incredibly strong team includes alums of Applied Intuition, Coinbase, Color, Neon, Google, and Perplexity as well as math / CS PhDs and IMO / IPhO / Codeforces winners. We look forward to working with you!