Engineering Jobs at Axiom Math
Axiom Math has one open engineering role, in Palo Alto.
About Axiom Math
Axiom Math develops AXLE Test, a tool for verifying proofs, extracting theorems, and experimenting with proof transformations. The tool is available as a playground and has an API.
The open role
- Member of Technical Staff: Palo Alto, posted 3 April 2026.
Also hiring at Axiom Math
Its roles are in Palo Alto, CA, US (1).
What engineering work involves at an early-stage startup
You own whole parts of the product rather than one service inside a large system. Expect to write the code, deploy it, and get paged when it breaks. Reviews are quick and the codebase is small, so a decision made on Tuesday can ship on Thursday.
1 jobSort
Questions people ask
Where is the engineering job at Axiom Math?
Palo Alto.