Employer posting
Job description
Captured from employer · Oct 28, 2026
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.
Private to you
Application tracker
Keep the exact resume, contact, and follow-up notes with this role.View all applications →
Saved to this browser unless you connect an account; connected records follow your verified account across devices.