We are looking for a senior backend engineer to join a startup using zero-knowledge proofs to scale smart contract applications. You will be responsible for building cloud-based systems to fulfill and monitor user queries into Axiom, our first product. This will involve building systems to query blockchain indexers, execute zero-knowledge provers, and submit query outputs on-chain. This will involve orchestrating multiple cloud servers to optimize proving latency, reliability, and cost. Your work will require designing secure and efficient systems and making design choices to enable rapid development without sacrificing security.
Your day-to-day work will involve implementing and optimizing query pipelines which transform blockchain data to fulfilled Axiom queries. We are looking for someone with strong engineering design skills, the ability to work across the stack, and a security mindset. We also value the ability to make pragmatic technology choices which empower our small team without adding too much overhead.
Qualifications
Fluency in Javascript / Typescript and Python or a similar language. We use React, Python, and Rust, but prior experience is not mandatory.
Experience deploying a production application in the cloud using orchestration and containerization (Docker, Kubernetes).
Security and ownership mindset.
Prior experience in blockchain infrastructure development preferred.
Prior experience with performance optimization or Rust is helpful but not required.
About Us
We empower developers to build novel decentralized applications with the power of ZK. We believe blockchain applications have an unlimited appetite for data and compute, and zero-knowledge proofs are the key to providing it. We are tackling the hard research and engineering problems necessary to make ZK accessible to smart contract developers.
We are a small, well-funded team of researchers and developers backed by leading crypto investors. Our team previously wrote some of the most performant open-source ZK circuits, published number theory research in top mathematics journals, and worked in high frequency trading. Working on our team involves:
Working in-person at our New York office (remote possible but not preferred).
Competitive salary, equity, and benefits.
Working closely with a small elite team of researchers and developers.
We hope you will join us in our mission to unleash the power of ZK for crypto applications.
Our mission is to empower developers to build novel decentralized applications with the power of ZK. We believe blockchains have an unlimited appetite for data and compute, and recent advances in zero-knowledge proofs (ZKPs) are the key to providing it. We are tackling the hard research and engineering problems necessary to make ZK accessible to smart contract developers.
Our first product, Axiom, is a ZK coprocessor for Ethereum which provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it. Like GPUs do for CPUs today, Axiom augments the capabilities of standard blockchain consensus with zero-knowledge proofs. Smart contracts query Axiom for functions of historic on-chain data like they query oracles today, and we deliver ZK-verified results on-chain for trustless downstream use.
We are hiring developers to join us in developing, scaling, and optimizing Axiom. We are a small, focused team taking cutting-edge research breakthroughs in ZKPs from academic papers to robust production systems. We care deeply about delivering a robust and easy-to-use experience for application developers, and we solve hard technical problems at scale to make that possible. We hope you will join us in our journey to unleash the power of ZK for crypto applications.