About the company
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 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, allows smart contracts to trustlessly compute over the entire history of Ethereum. Like GPUs do for CPUs today, Axiom augments the capabilities of standard blockchain consensus with zero-knowledge proofs. Developers can query the history of Ethereum from Axiom using Solidity and Typescript alone, and integrate into their on-chain applications by adding a single smart contract callback function to ingest ZK-verified results from Axiom. 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.
Job Summary
The Role
đź“ŤWe are looking for a founding 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. The systems you build will orchestrate 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.
Who you are
📍You are fluent in Rust, C++, or a similarly performant backend language. We work primarily in Rust and Typescript, but prior experience is not mandatory. 📍You have experience deploying production applications in the cloud using orchestration and containerization (Docker, Terraform, Kubernetes). 📍You have experience working with production applications hosted on AWS. 📍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 a strong bias towards action 📍You have an extremely strong work ethic
