---
title: "Axiom Math"
canonical: "https://www.metaintro.com/company/axiommath"
language: "en"
industry: "Research Services"
website: "https://axiommath.ai/"
open_roles: 2
---

# Axiom Math

Formal foundations and tooling for verifying proofs and reasoning about logic — including AXLE, our interactive proof environment.

## Open roles

- [Member of Technical Staff Intern](https://www.metaintro.com/job/member-of-technical-staff-intern-at-axiom-math-e8504a0a-ffa9-5386-b1f3-39a7999d76af) — Palo Alto, California, United States, London, England, United Kingdom, On-site
- [Intern, Special Projects (MBA)](https://www.metaintro.com/job/intern-special-projects-mba-at-axiom-math-4e433f20-0c2d-5203-91a9-df19c95ec998) — Palo Alto, California, United States, On-site

[View all 2 roles](https://www.metaintro.com/company/axiommath/jobs/all)

## AI launches and partners

What Axiom Math has launched and who it works with on AI.

- **Self-improving systems** (Research): Axiom says its work spans pioneering self-improving systems.
- **Reasoning engine** (Launch): Axiom is building a reasoning engine capable of mathematical discoveries at scales and speed previously unimaginable.

## Skills they ask for

Most frequent across open postings.

### Tech stack

- **Frameworks:** Next.js
- **Analytics:** Google Analytics 4
- **CDN:** jsDelivr

## Similar companies

Companies in the same industry as Axiom Math that are hiring now.

- [The businesses of Merck KGaA, Darmstadt, Germany](https://www.metaintro.com/company/the-businesses-of-merck-kgaa-darmstadt-germany) — 1,456 open roles
- [Parexel](https://www.metaintro.com/company/parexel) — 1,182 open roles
- [ICON](https://www.metaintro.com/company/icon) — 931 open roles
- [Medpace, Inc.](https://www.metaintro.com/company/medpace-inc) — 805 open roles
- [Syneos Health](https://www.metaintro.com/company/syneos-health) — 707 open roles
- [Fortrea](https://www.metaintro.com/company/fortrea) — 705 open roles
- [Anthropic](https://www.metaintro.com/company/anthropic) — 674 open roles

## Questions about Axiom Math

### Is Axiom Math hiring?

Yes. As of November 5, 2026, Axiom Math has 2 open roles on Metaintro. 2 were posted in the last 30 days. The most are in Artificial Intelligence/Machine Learning (1) and Product/Project Management (1).

### Where is Axiom Math hiring?

Axiom Math is hiring in Palo Alto and London, with the most open roles in Palo Alto.