Research mathematicians are needed to help train and evaluate frontier AI systems capable of advanced mathematical reasoning. Responsibilities include authoring research-level problems, evaluating proofs, identifying model failures, and contributing expert mathematical insight across pure and applied mathematics domains.
Mathematics Researchers (India, Part-time)
India
$35 – $50/hr
June 16, 2026
Job description
Description
We are recruiting a select cohort of accomplished mathematicians to contribute to the next generation of AI systems for scientific and mathematical reasoning.
Partner AI labs are building models that must reason about pure and applied mathematics at the level of working research mathematicians, not textbook exercises. Areas of interest include:
- Number Theory
- Algebra
- Algebraic Geometry
- Topology
- Analysis
- Partial Differential Equations (PDEs)
- Probability
- Combinatorics
- Dynamical Systems
- Logic
- Representation Theory
- Mathematical Physics
- Theoretical Computer Science
- Statistics
What You'll Do
Author and review challenging mathematics problems used to train and evaluate frontier AI models
Evaluate model outputs involving:
- Proof construction
- Proof verification
- Mathematical problem solving
- Formalization
- Conjecture exploration
Identify subtle mathematical errors that current AI systems often miss, including:
- Unjustified proof steps
- Misapplied assumptions
- Invalid lemmas
- Plausible but incorrect proofs
Collaborate with program teams and fellow mathematical researchers
Ideal Candidate Profile
This role is intended for highly accomplished mathematical researchers.
Examples of qualifying backgrounds include:
Research Publications
First-author or sole-author publications in leading 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
- Probability Theory and Related Fields
Related fields may include publications in venues such as:
- STOC
- FOCS
- SODA
- Annals of Statistics
Academic Background
- PhD or Postdoctoral training at a top global mathematics or STEM institution
- Active or recent research positions including:
- PhD Candidate
- Postdoctoral Researcher
- Instructor
- Faculty Member
- Principal Researcher
- Industry Research Mathematician
Fellowships & Honors
Examples include:
- Clay Research Fellowship
- NSF GRFP
- NSF Postdoctoral Fellowship
- Sloan Research Fellowship
- Packard Fellowship
- Simons Fellowship
- Simons Investigator
- AMS Centennial Fellowship
- Hertz Fellowship
- Marshall Scholarship
- Rhodes Scholarship
- New Horizons in Mathematics Prize
- Salem Prize
- Ramanujan Prize
Outstanding senior PhD students and recent graduates with strong publication records are encouraged to apply.
Engagement
- Part-time commitment
- 8–20 hours per week
- No fixed end date
- Contributors remain engaged based on program needs and expertise
About Cincinnatus LLC
Cincinnatus LLC is an enterprise staffing company that partners with leading technology companies to source and employ highly skilled professionals for contingent and contract-based opportunities.
The company serves as the employer of record, providing:
- W-2 employment
- Payroll
- Benefits
- Compliance support
while placing employees directly into client teams working on high-impact initiatives.
Equal Opportunity
Cincinnatus LLC is an Equal Employment Opportunity employer and considers qualified applicants without regard to legally protected characteristics. Reasonable accommodations are available upon request.
Apply now
You will be redirected to the company's website to complete your application.
Mathematician – Formalization & AI Foundations (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
Mathematician – Formal Proof & AI Foundations (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
Mathematician – Formal Proof & AI Research (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?