Axiom (Math)

1 open job

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.

Currently, there's a total of 1 job opening at Axiom (Math). Over the last 30 days, 0 jobs were added and 0 were removed.¹

Website

axiommath.ai

Headquarters

San Francisco, United States

Industry

Technology

Open jobs

1 open · updated today

Member of Technical Staff Engineering · Axiomhq 63 days ago

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

Want to know which of these 1 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 18 open jobs Holafly Technology · Software 1 open job Amach Technology · IT Services & Consult 33 open jobs Kizen Technology · AI 18 open jobs

Browse all companies hiring now →

Common questions

Is Axiom (Math) hiring now?

Our last read of their board held 1 open jobs. The newest was posted April 3, 2026.

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 7.

Interview OS

Company pages built from daily checks of real hiring systems.

Create free account

Notes & sources

1 daily listing observations, Jul 11 to Sep 12 windowRechecked daily, last September 12, 2026

1. Company description. Written by InterviewOS from Axiom (Math)'s public materials and press coverage; facts are checked against the sources below.
2. Live counts. Deduplicated live listings observed daily on Axiom (Math)'s own hiring system; last check September 12, 2026. Stale and syndicated posts on aggregator sites are not counted.

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