Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment. Backed by Madrona and Menlo.
About 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. Found on 1752vc Careers, the job board for startup and VC roles.
What they're looking for
- 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
More about this role
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.
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...
Browse similar: AI jobs · Startup internships · AI startup jobs · Startup jobs · San Francisco Bay Area