# Member of Technical Staff at Axiom Math

- Company: Axiom Math
- What the company does: 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.
- Company website: https://axiommath.ai
- Type: Startups (AI role)
- Level: Senior
- Location: Palo Alto
- Work setup: On-site
- Posted: 2026-04-03
- Apply by: 2026-10-08
- Apply: https://jobs.ashbyhq.com/axiommath/03aafabc-4156-4ba2-bb71-280f704bbcb2
- Page: https://www.1752.vc/careers/jobs/axiom-math-member-of-technical-staff/

## About the role

Lead core discovery projects (e.g., successors to PatternBoost ): set research agendas, design and run large-scale experiments to reveal latent mathematical structures, and publish high-impact papers in top AI and mathematics venues. Collaborate with research mathematicians to identify open problems to tackle, formulate them into benchmarkable ML objectives, build reproducible pipelines, and iterate toward state-of-the-art solutions.

## What they're looking for

- Advanced coding in Python and modern ML frameworks (PyTorch, JAX, TensorFlow)
- Deep expertise in large-scale training, reinforcement learning, program synthesis, and neuro-symbolic techniques
- Strong foundation in higher mathematics (algebra, analysis, combinatorics) and formal proof systems (Lean, Coq, Isabelle)
- Demonstrated research acumen: experiment design, rigorous analysis, and a track record of peer-reviewed publications
- Exceptional scientific writing and presentation abilities, tailoring complex ideas to diverse audiences
- Proven collaborator who thrives in interdisciplinary teams with mathematicians, engineers, and product stakeholders

Tags: Engineering