csinternships.comGet alerts
Tech internships in the US/Axiom Math
AAxiom Math

Member of Technical Staff Intern

Palo Alto, CAListed 2h ago

  • On-site
  • Internship
  • BS
  • MS
  • PhD

About this role

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.

Pay not listed
ApplyGet alerts

Opens the full posting and its application in a new tab.

Location
Palo Alto, CA
Work model
On-site
Role type
Internship
Degrees
BS · MS · PhD
Family
CS/SWE/ML Research
Listed
2h · Oct 28, 2026
A

Axiom Math

Series A · 51–200 employees

  • AI & Machine Learning
  • Developer Tools & Infrastructure

Axiom Math develops AI systems for mathematical reasoning, automated theorem proving, and formal verification. Its AxiomProver and AXLE tools use machine-checkable Lean proofs to support mathematical discovery and verification of software and hardware.

Listings come from company career pages.

More listsHardware Internships
PrivacyTerms