Search Axiom Math jobsUnited States

Axiom Math

Axiom Math builds formal foundations and tooling for machines and mathematicians to verify proofs and reason about logic. Its capabilities include AXLE, an interactive proof environment, and formalization of mathematical results.

Unicorn · US

3Open jobs

1Remote

2Countries

Open roles

All jobsPast week (1)Past day (0)

3 roles match your filters in United States Clear filters

Member of Technical Staff Intern5 days ago

Palo Alto, CA · London, United Kingdom

Apply
Intern, Special Projects (MBA)26 days ago

Palo Alto, CA

Apply
Member of Technical Staff7 months ago

Palo Alto, CA · London, United Kingdom · Portland, OR · Remote (US) · Remote (United Kingdom)

Apply