Succinct
What We're Building
Zero-knowledge proofs (ZKPs) are critical to the future of blockchain scaling, interoperability, and privacy, but are too complex for most developers today.
Succinct's mission is to make ZKPs simple and accessible for all builders. Our core product is SP1, a breakthrough zkVM (zero-knowledge virtual machine) that enables developers to generate ZK proofs from normal code (like Rust) with state-of-the-art performance. To support SP1, we've built the Succinct Prover Network -- a protocol on Ethereum that coordinates a decentralized network of provers for universal ZK proof generation. This lets developers outsource proving to a global, competitive marketplace of provers. Our infrastructure is already in production with many of the best teams in crypto: Polygon is using SP1 to build AggLayer and Katana Celestia and Avail use our network to secure Ethereum bridges Mantle ($2B TVL) is using it to become the world's largest ZK Layer 2 And many more, including Celo, Interchain (IBC V2), Hibachi, Lido, Galxe, Taiko, Sovereign, and others zkVMs are now a key part of Ethereum's scaling roadmap, and Succinct is at the forefront -- delivering real-world impact, meaningful revenue, and some of the most technically ambitious work in ZK. We've raised $55M across Seed and Series A from Paradigm, and we're a small, high-performing team focused on building deeply technical products with real-world adoption. The Role
We are seeking a highly motivated Formal Verification Engineer to contribute to ensuring the correctness and robustness of our zkVM implementation, SP1, through rigorous formal verification methods. You will leverage tools such as Lean or other formal verification frameworks to validate that our zkVM implementation aligns fully with the official RISC-V specifications. In this role, you will: Apply formal verification techniques using Lean or similar frameworks to formally verify correctness of the constraints inside our zkVM. Design and implement tooling to translate our internal constraint representations into formats compatible with Lean or other formal verification environments. Collaborate with our engineering team to integrate formal verification processes into our development cycle, enhancing overall product reliability and security. Communicate verification results clearly to stakeholders and assist in resolving discovered issues. Qualifications
Strong foundational knowledge in formal methods, theorem proving, and formal verification frameworks (Lean, Coq, Isabelle, or similar). Familiarity with computer architecture, ideally with RISC-V or other instruction set architectures. Solid programming and scripting skills for developing verification tools and automation. Demonstrated ownership mentality with strong communication and team collaboration skills. Nice to Have
Experience with Rust, C++, or functional programming languages. Familiarity with zero-knowledge proof systems or cryptographic protocols. Prior experience with hardware or software verification in industry or research contexts. Location
Everyone on our team is located in San Francisco and works together in-person. Ideally, we're looking for someone who enjoys in-person work and is already in San Francisco or willing to relocate (we can cover relocation costs). For senior candidates who are an exceptional fit, we'd consider a remote position as long as you're available to onboard in-person for the first few months. Benefits
Highly competitive salary and equity package Full health, dental, and vision coverage for you and your dependents Daily lunch and dinner at the office Travel to industry events and conferences (company-paid) Not Sure You're 100% Qualified?
That's okay -- if you're passionate about ZK, love to learn fast, and are excited by our mission, we'd love to hear from you.
Zero-knowledge proofs (ZKPs) are critical to the future of blockchain scaling, interoperability, and privacy, but are too complex for most developers today.
Succinct's mission is to make ZKPs simple and accessible for all builders. Our core product is SP1, a breakthrough zkVM (zero-knowledge virtual machine) that enables developers to generate ZK proofs from normal code (like Rust) with state-of-the-art performance. To support SP1, we've built the Succinct Prover Network -- a protocol on Ethereum that coordinates a decentralized network of provers for universal ZK proof generation. This lets developers outsource proving to a global, competitive marketplace of provers. Our infrastructure is already in production with many of the best teams in crypto: Polygon is using SP1 to build AggLayer and Katana Celestia and Avail use our network to secure Ethereum bridges Mantle ($2B TVL) is using it to become the world's largest ZK Layer 2 And many more, including Celo, Interchain (IBC V2), Hibachi, Lido, Galxe, Taiko, Sovereign, and others zkVMs are now a key part of Ethereum's scaling roadmap, and Succinct is at the forefront -- delivering real-world impact, meaningful revenue, and some of the most technically ambitious work in ZK. We've raised $55M across Seed and Series A from Paradigm, and we're a small, high-performing team focused on building deeply technical products with real-world adoption. The Role
We are seeking a highly motivated Formal Verification Engineer to contribute to ensuring the correctness and robustness of our zkVM implementation, SP1, through rigorous formal verification methods. You will leverage tools such as Lean or other formal verification frameworks to validate that our zkVM implementation aligns fully with the official RISC-V specifications. In this role, you will: Apply formal verification techniques using Lean or similar frameworks to formally verify correctness of the constraints inside our zkVM. Design and implement tooling to translate our internal constraint representations into formats compatible with Lean or other formal verification environments. Collaborate with our engineering team to integrate formal verification processes into our development cycle, enhancing overall product reliability and security. Communicate verification results clearly to stakeholders and assist in resolving discovered issues. Qualifications
Strong foundational knowledge in formal methods, theorem proving, and formal verification frameworks (Lean, Coq, Isabelle, or similar). Familiarity with computer architecture, ideally with RISC-V or other instruction set architectures. Solid programming and scripting skills for developing verification tools and automation. Demonstrated ownership mentality with strong communication and team collaboration skills. Nice to Have
Experience with Rust, C++, or functional programming languages. Familiarity with zero-knowledge proof systems or cryptographic protocols. Prior experience with hardware or software verification in industry or research contexts. Location
Everyone on our team is located in San Francisco and works together in-person. Ideally, we're looking for someone who enjoys in-person work and is already in San Francisco or willing to relocate (we can cover relocation costs). For senior candidates who are an exceptional fit, we'd consider a remote position as long as you're available to onboard in-person for the first few months. Benefits
Highly competitive salary and equity package Full health, dental, and vision coverage for you and your dependents Daily lunch and dinner at the office Travel to industry events and conferences (company-paid) Not Sure You're 100% Qualified?
That's okay -- if you're passionate about ZK, love to learn fast, and are excited by our mission, we'd love to hear from you.