Startups · AI

Member of Technical Staff Intern

Axiom Math · Palo Alto · On-site

← All jobs
About Axiom Math

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

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. Found on 1752vc Careers, the job board for startup and VC roles.

What they'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
More 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.

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.

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.

Read the full posting on Axiom Math's site ↗

Engineering

Build your edge while you search

Free tools for founders and investors, plus VC Unfiltered, our take on startups, venture and the people who build them.