The work
Create challenging mathematics problems and scenarios based on real proofs, formal methods, and computational workflows. Review AI-generated answers and explain where they are accurate, rigorous, or misaligned with mathematical practice.
- Write structured feedback to help improve AI performance.
- Use sound judgment in proof methods, symbolic computation, optimization, numerical analysis, or a core mathematics field.
- Complete assignments independently in a remote, asynchronous setting.
What it pays and takes
- Pay: Up to $75 per hour.
- Work arrangement: Flexible, part-time contract work with no set schedule or minimum hours.
- Location: Open to candidates in the United States.
- Education: A PhD in pure or applied mathematics is listed; applicants with depth in at least two core qualification areas are also encouraged to apply.
- Expertise: Demonstrated depth in proof and formal methods, symbolic computation, optimization, numerical analysis, or a field such as algebra, topology, geometry, number theory, analysis, or combinatorics.
- Skills: Strong written communication, attention to detail, and the ability to explain complex mathematical ideas clearly.
- Helpful experience: Theorem provers such as Lean, Coq, or Isabelle; symbolic tools such as SageMath or Mathematica; or formalizing proofs and working on problems beyond current AI capabilities.
How it works
Apply on OpenTrain with your resume, then complete the application on the hiring site.