1,642,734open jobs
98,640companies
253,025added this week
Browse all
Salary
≈ $53k – $89k per year (Estimated)
Location
In office (Palo Alto)
Seniority
Intern
Employment
Internship

Confirmed on the employer's own hiring board on Oct 14, 2026. First seen by Alion on Oct 6, 2026.

Overview
Company
Impact
Profile match
Axiom is a research company building an artificial intelligence system for mathematics that can prove theorems and generate new results rather than only assist a human mathematician. Its work combines formal verification, proof search and reinforcement learning over symbolic reasoning, with the goal of a self improving mathematical reasoner. The laboratory was founded by researchers who see mathematics as the cleanest testbed for verifiable machine reasoning; its long term target is mathematics that machines can verify end to end without human checking.

About Axiom Math

Axiom Math is building an AI mathematician capable of mathematical discoveries at scales and speeds previously unimaginable, the first step toward a self-improving, superintelligent reasoning system.

Our verified AI reasoning system, AxiomProver, was the first to score perfectly on the Putnam, solve open math research problems autonomously, publish its work in peer-reviewed math journals, and formalize the influential 246 theorem, among other AI math milestones.

Now Axiom is at a pivotal moment. We are applying the stack we built for AxiomProver to verified code generation across hardware and software: AI-written code that ships with a formal proof that is correct. As AI writes more of the world’s code, formal verification is how you know it can be trusted.

Axiom is led by CEO Carina Hong and backed by a $200M Series A led by Menlo Ventures. We are scaling fast, and the business side is being built right now. That is where you come in.

The role

Axiom is taking verified code generation to market. The MBA Intern works directly with Axiom's leadership on that go-to-market push and the strategic and operational questions that come with scaling a frontier AI company. You will work in the Founder's Office and work closely with the CEO, CTO, and CoS.

This is not a rotational program or a research project on the side. You will be immersed into the day to day and will present your recommendations to leadership, and see them put into practice. Expect a high bar, fast feedback and a lot of autonomy.

What you'll work on

Projects will be scoped to your strengths and the company's priorities at the time. Likely areas include:

  • Go-to-market and commercialization. Size and prioritize markets for verified reasoning, such as chip and software verification. Map customer segments, buyers and early design partners.

  • Strategic partnerships. Support conversations with cloud and enterprise partners. Build briefing materials, partnership frameworks and follow-up plans for the CEO.

  • Board and investor materials. Help build slide decks for board meetings, and help prepare board updates, metrics dashboards and investor narratives.

This internship is designed as a pathway to a full-time role. You'll close it out by presenting your work directly to our CEO and leadership team, a great opportunity to show what you've built.

What we're looking for

Required

  • Currently enrolled in, or on leave from, a full-time MBA program and available to start immediately

  • Excellent professional work ethics in a business, technical or operational role

  • Consulting, finance, venture, product, strategy and operations backgrounds are all welcome

  • Strong analytical skills: you can build a market model from scratch and defend every assumption

  • Clear, concise writing and the ability to turn ambiguity into a structured recommendation

  • Comfort working with a small team at startup speed, with little process and high standards

  • First principle based thinking

  • Ability to vibe code/build AI agents

Preferred

  • Technical undergraduate degree (math, computer science, engineering, physics) or genuine fluency in how AI models are built and evaluated

  • Experience at an early-stage or high-growth technology company.

  • Exposure to enterprise sales, deep tech or B2B go-to-market.

  • Curiosity about mathematics and formal reasoning. You don't need to write proofs, but you should want to understand what our researchers do.

Application process

To apply, please email [email protected] cc [email protected] with an updated resume, a short one paragraph interest statement and 1-2 reference contacts by October 23, 2026. Applications are on a rolling basis.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
1,642,734 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Early Careers
Similar stack
Same company
Palo Alto
$36k – $44k per year • Equity • Hybrid • Internship • 1+ year exp • Bachelor's Degree • Atlanta
AI/ML
Multimodal AI
Management
Microsoft Office
Apply
$36k – $44k per year • Equity • Hybrid • Internship • 1+ year exp • Bachelor's Degree • Birmingham
AI/ML
Multimodal AI
Management
Microsoft Office
Apply
$40k – $48k per year • Equity • In office • Internship • 1+ year exp • Bachelor's Degree • Savannah
Management
Outlook
Microsoft Office
Apply
$40k – $50k per year • In office • Internship • Bachelor's Degree • Syracuse
Management
Microsoft Office
Apply
$30k – $34k per year • In office • Internship • High School Diploma • United States
Apply
GTM Engineer 4 days ago
In office • Full-Time • San Francisco • New York
Python
TypeScript
SQL
AI/ML
Claude Code
AI Agents
Analytics
A/B Testing
Management
n8n
Zapier
Marketing
GA4
Apply
≈ $122k – $224k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Sunnyvale
Python
JavaScript
Java
Node JS
Databases
Apache Kafka
Google BigQuery
BigQuery
AI/ML
AI Agents
Kubeflow
Flink
TensorFlow
Frontend
GraphQL
React.js
DevOps
GCP
AWS
Analytics
A/B Testing
Apply
In office • Full-Time • 3+ years exp • Bachelor's Degree • India
Python
TypeScript
SQL
AI/ML
LangGraph
AutoGen
LangChain
Embeddings
Prompt Engineering
AI Agents
AgentOps
CrewAI
RAG
AWS Bedrock AgentCore
Machine Learning
DevOps
OpenTelemetry
AWS
Grafana
AWS Lambda
Amazon S3
Amazon CloudWatch
API Gateway
Management
Agile
Apply
$210k – $240k per year • In office • Full-Time • 8+ years exp • Bachelor's Degree • San Francisco
AI/ML
AI Agents
Apply
$120k – $210k per year • In office • Full-Time • 3+ years exp • San Francisco
AI/ML
AI Agents
Apply
≈ $193k – $394k per year (Estimated) • In office • Full-Time • Palo Alto • London • Portland
Python
AI/ML
Reinforcement Learning
JAX
TensorFlow
PyTorch
Machine Learning
Apply
Litigation Paralegal 5 hours ago
$120k – $160k per year • In office • 7+ years exp • Bachelor's Degree • Palo Alto
Management
Outlook
Apply
Senior Director Safety 10 hours ago
≈ $73k – $216k per year (Estimated) • Remote (EU, Europe, United States) • Full-Time • Palo Alto • London
Cybersecurity
GDPR
Apply
≈ $47k – $106k per year (Estimated) • In office • High School Diploma • Palo Alto
Apply
$165k – $195k per year • Hybrid • Full-Time • Palo Alto
Apply
$105k – $180k per year • In office • Full-Time • 5+ years exp • San Francisco • Palo Alto • New York • Boston
Marketing
Salesforce
Apply
See all jobs
This is one of many
1,642,734 more open roles from verified company boards, updated every day.