Mathematics Expert for AI Evaluation

OpenTrain AI, Inc.; United States; A distancia; USD 85.000 - 121.000; A tiempo parcial

Descripción de la vacante

OpenTrain AI, Inc. is seeking experts to create challenging mathematics problems and review AI-generated answers from a rigorous mathematical perspective. This remote, hourly role emphasizes clear explanations, precise feedback, and strong written communication.

Applicants with a PhD in mathematics or depth in at least two core areas are encouraged to apply. Flexible, asynchronous work aligns with a part-time, contract engagement in the United States.

Formación

• PhD in pure or applied mathematics, or depth in two core qualification areas.
• Depth in proof and formal methods, symbolic computation, optimization, or numerical analysis.

Responsabilidades

• 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.

Conocimientos

Proof methods

Symbolic computation

Numerical analysis

Written communication

Attention to detail

Educación

PhD in mathematics

Depth in two core areas

Herramientas

Lean

Coq

Isabelle

SageMath

Mathematica

Descripción del empleo

Create expert-level math problems and review AI-generated answers for rigor in flexible, part-time contract work paying up to $75 per hour. Applicants with a PhD or depth in at least two core areas are encouraged.

Remote Hourly · $75/hr

$75/hr

Compensation

Contract

Engagement

Remote

Location

Posted

Open to applicants in

United States

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.