Mathematics Expert (India) Part-Time Remote

What You'll Do6

• Build original mathematics problems and scenarios that reflect proof writing, formal verification, or computational methods.
• Inspect AI responses for mathematical accuracy, logical rigor, and faithfulness to actual practice.
• Write structured critiques that point out errors and suggest corrections for model training.
• Work through tasks at a pace you choose, with no fixed schedule and no minimum hours.
• Apply expertise in a chosen subfield such as algebra, topology, number theory, or combinatorics.
• Use theorem provers or symbolic tools when a task calls for formal or computational verification.

Requirements10

• PhD in pure or applied mathematics.
• First-author publications and a record of formalizing proofs that current AI models struggle with.
• Depth in at least one area: proof assistants such as Lean, Coq, or Isabelle.
• Background in symbolic computation with SageMath or Mathematica, plus optimization or numerical analysis.
• Expertise in a core subfield like algebra, topology, number theory, or combinatorics.
• Indian work authorization.
• Clear written explanations of advanced mathematical ideas.
• Ability to work in a remote, asynchronous setting without direct supervision.
• Attention to detail when reviewing technical arguments.
• Candidates who satisfy two of the three main criteria may still qualify.

Who Should Apply

A mathematician with a PhD in pure or applied math, first-author publications, and proof work that pushes beyond current model ability fits this project. You should also bring depth in formal methods, symbolic computation, or a core subfield such as algebra or topology. Candidates who want full-time employment, steady weekly hours, or a traditional research position will find the setup a poor match. Applications often score low when they lack Indian work authorization, show no proof formalization examples, or cannot point to a specific sub-domain. A general math background without research output or theorem-prover experience does not meet the bar.

Salary Insight