• Jobs
  • Startups
  • Hire
LoginSign up

Role description

Member of Technical Staff Intern

Axiom Math logoAxiom Math
TypeInternship
WorkplaceOn-site
SeniorityIntern
LocationPalo Alto, CA
Posted10/28/2026
Engineering

Interns join the technical staff on a focused research or engineering project. You might work on mathematical reasoning, model training, formal verification, or supporting infrastructure. We will define the project with you based on Axiom’s current work and where you can contribute most.

What you’ll do

  • Work with a mentor on a research or engineering project that matters to Axiom.

  • Take ownership of the full project lifecycle: planning, experimentation, and productionization.

  • Gain a broad view of Axiom’s work across the company, and learn how research, engineering, and formal verification come together in pursuit of mathematical discovery.

What we’re looking for

  • Evidence of technical ability through research, open-source work, independent projects, or coursework.

  • Depth in at least one of computer science, machine learning, mathematics, or formal methods.

  • The ability to write and debug substantial code.

  • Agency to drive a project and the ability to collaborate across disciplines.

We do not require prior experience in every area. We assess candidates based on demonstrated technical work.

Relevant archetypes

Apply on Ashby
Save

Company info

Axiom Math logo

Axiom Math

Axiom develops artificial intelligence systems designed to solve complex mathematical problems and produce formally verified proofs. The platform processes mathematical questions written in natural language, converts them into formal proof structures, and applies automated reasoning to generate step-by-step solutions. Its system integrates modules that translate problems into formal languages, propose intermediate lemmas, and assemble proofs that are verified through proof-checking tools.

Series AAI-product
Size51–200 employees
Industry
Unlock human wisdom
ThesisTermsPrivacy
Technology, Information and Internet
Funding
  • Series A · Mar 12, 2026
Investors
Menlo Ventures

Claim axiommath.ai

Work at axiommath.ai? Sign in to claim this org and manage its profile.

© 2026 Saywise Inc.