Intern, Special Projects (MBA)

Axiom Math • Palo Alto, CA

1d • Remote

About The Position

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.

Requirements

• 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

Nice To Haves

• 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.

Responsibilities

• Work directly with Axiom's leadership on the go-to-market push and the strategic and operational questions that come with scaling a frontier AI company.
• Be immersed into the day to day and present recommendations to leadership, and see them put into practice.
• Size and prioritize markets for verified reasoning, such as chip and software verification.
• Map customer segments, buyers and early design partners.
• Support conversations with cloud and enterprise partners.
• Build briefing materials, partnership frameworks and follow-up plans for the CEO.
• Help build slide decks for board meetings, and help prepare board updates, metrics dashboards and investor narratives.
• Present your work directly to our CEO and leadership team.

What This Job Offers

• Career Level: Intern