Axiom Math
Location not availableDeveloper toolsB2Baxiommath.ai
Builder of formal foundations and tools for verifying mathematical proofs, including the AXLE proof environment.
Funding and hiring
- Hiring now
- 1 open role · board read Oct 2, 2026
- Engineering 1
On-site 1
Roles in United Kingdom, United States
Founders and contacts
- FoundersBeing confirmed, locked
- Founder emailsBeing confirmed, locked
- LinkedInCompany page, locked
- Careers pageOpen roles, locked
Explore
Are you a founder of Axiom Math and want your details removed? Write to us and we remove them within 72 hours.