Startup · AI
Jobs at Axiom Math
Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment. Backed by Madrona and Menlo. 2 open roles.
See all 2 roles →Find your next role53458 open roles
Open roles
Jobs at Axiom Math
2open roles
Updated weekly.
Last refresh Mon, Nov 9
2 jobs
- Member of Technical Staff Intern AIAxiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment. Backed by Madrona and Menlo.
- Intern, Special Projects (MBA) AIAxiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment. Backed by Madrona and Menlo.
Build your edge while you search
Free tools for founders and investors, plus VC Unfiltered, our take on startups, venture and the people who build them.