Forward Deployed Engineer
Axiom·2 weeks ago
Explore jobs tagged "prover" to find openings for engineers and researchers building zero-knowledge proof systems, automated theorem provers, and formal verification pipelines. This curated list of jobs (filtered by the tags pillar) highlights positions that require hands-on experience with prover technologies and proof engineering—Coq, Lean, Isabelle, SMT-backed automated provers, zkSNARK/zkSTARK prover implementations, proof automation, and formal methods integration—so you can target roles in cryptographic proof engineering, protocol verification, and proof optimization. Use the filtering UI to narrow by experience level, tech stack, remote/on-site status, and specific prover tools, then apply to high-impact roles to advance your career in proof systems and cryptography.
Axiom·2 weeks ago