Pure Mathematics Specialist – Freelance AI Trainer Project

Responsibilities

• Construct and evaluate complex proofs in pure mathematics, ensuring correctness and rigor.
• Substantiate mathematical reasoning and identify subtle conceptual or logical failures.
• Translate mathematical concepts into .lean syntax.
• Collaborate with the team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks.

Requirements

• Deep foundations in pure mathematics, including probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory.
• Normalized fluency in Lean 4, with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics.
• A strong command of core areas, including Markov’s and Chebyshev’s inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach–Alaoglu, Lax–Milgram, stochastic approximation, Van Kampen’s theorem, the Yoneda embedding, and representability in cohomology.
• Clear, metacognitive communication skills, explicitly articulating reasoning and proof strategies.

Qualifications

Candidates fluent in Lean 4 with the required expertise are ideal.

Skills

• Advanced knowledge of pure mathematics, particularly in abstract areas like measure theory, homotopy, and category theory.
• Fluency in Lean 4, a proof assistant and programming language.
• Strong problem-solving and analytical skills.
• Excellent communication and collaboration abilities.

Benefits

Not specified.

Pay

We offer a pay range of $35 to $65 per hour, with the exact rate determined after evaluating your experience, expertise, and geographic location. Final offer amounts may vary from the pay range listed above.

Schedule

Remote work is available.