19/07/2026
We are recruiting a select cohort of accomplished mathematicians to contribute to the next generation of AI systems for scientific and mathematical reasoning. Our partner labs are building models that need to reason about pure and applied mathematics — number theory, algebra, algebraic geometry, topology, analysis, PDEs, probability, combinatorics, dynamical systems, logic, representation theory, mathematical physics, and adjacent areas of theoretical computer science and statistics — at the level of a working research mathematician, not a textbook. To get there, they need contributors whose own research sits at the frontier.
This position will be placed at a leading AI lab as part of their extended workforce.
What you'll do
Review and evaluate research papers in mathematics for correctness, novelty, and rigor
Author and review challenging mathematics problems used to train and evaluate frontier AI models
Evaluate model outputs on tasks ranging from proof construction and verification to problem-solving, formalization, and conjecture exploration
Surface areas where current models fail — especially the subtle errors a working mathematician would catch immediately: an unjustified step, a misapplied hypothesis, a hand-waved lemma, or a proof that is plausible but wrong
Collaborate with a small program team and other senior contributors
Qualifications
We're looking for researchers who meet several of the following:
First-author or sole-author publications in journals such as Annals of Mathematics, Inventiones Mathematicae, Journal of the AMS, Acta Mathematica, Duke Mathematical Journal, Communications on Pure and Applied Mathematics, Geometry & Topology, JEMS, GAFA, Advances in Mathematics, or Probability Theory and Related Fields (for adjacent fields, top-tier venues such as STOC, FOCS, SODA, or Annals of Statistics also qualify)
A doctorate or postdoctoral training from a top-20 global institution in mathematics or a related STEM field
A competitive fellowship or honor, such as the Clay Research Fellowship, an NSF Graduate Research Fellowship or NSF Postdoctoral Fellowship, a Sloan Research Fellowship, a Packard Fellowship, a Simons Fellowship or Simons Investigatorship, an AMS Centennial Fellowship, a Hertz Fellowship, a Marshall or Rhodes Scholarship, the New Horizons in Mathematics Prize, the Salem Prize, or the Ramanujan Prize; earlier-career applicants may instead point to a Putnam Fellow placement or an International Mathematical Olympiad medal
An NSF CAREER award or comparable grant held as a named Principal Investigator or Co-Investigator
Current or recent experience in an active research role, as a PhD candidate, postdoctoral researcher, instructor, faculty member, principal researcher, or industry research mathematician
Outstanding senior PhD students and recent graduates with strong publication records are strongly encouraged to apply; the depth of your research output matters more than years of experience.
Engagement
Part-time: up to 20 hours per week
Compensation reflects research seniority and credentials
