Axiom (Math)

Hiring · 2 open jobs

General information

Axiom (Math) is a technology company in the AI category, based in San Francisco. It focuses on mathematical reasoning and automated proof verification. Its platform, AXLE, lets users test proof verification, extract theorems from existing proofs, and experiment with proof transformations.¹

Website

axiommath.ai

Headquarters

San Francisco, United States

Industry

Technology

Open jobs

2 open · updated today

Intern, Special Projects (MBA) Founder's Office · Palo Alto, CA 21 days ago Member of Technical Staff Engineering · Palo Alto, CA 109 days ago

Page 1 of 1, most recently added first · Download (CSV)²

Want to know which of these 2 jobs are worth your time? Upload your CV and we'll score how well you match each one before you apply. It's free.

Score your CV for free before you apply

Similar companies

Gorgias Technology · Software 20 open jobs Holafly Technology · Software 1 open job Amach Technology · IT Services & Consult 24 open jobs Bitmovin Technology · Cloud & Dev Tools 13 open jobs

Browse all companies hiring now →

Common questions

Is Axiom (Math) hiring now?

Yes. There are 2 open jobs.

Hiring trend: available after 60 days of clean history · tracking since July 2026. Velocity stats appear after 60 days of clean history. We're on day 14.

Interview OS

Company pages built from direct checks of real hiring systems.

Create free account

Notes & sources

2 daily listing observations, Jul 11 to Oct 28 windowRechecked daily, last October 28, 2026

1. Company description. From Axiom (Math)'s own public material, shown only where we have it, never generated.
2. Live counts. Deduplicated live listings observed daily on Axiom (Math)'s own hiring system; last check October 28, 2026. Stale and syndicated posts on aggregator sites are not counted.

Sources
axiommath.ai
About the data
Report a data issue with this page