Pure Mathematics Specialist – Freelance AI Trainer Project

The role

You will construct and evaluate complex proofs and substantiate mathematical reasoning for correctness and rigor. You will translate material into Lean 4 syntax and collaborate to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks.

What you will do

• Construct and evaluate complex proofs
• Substantiate mathematical reasoning for correctness and rigor
• Identify subtle conceptual or logical failures
• Translate material to build in .lean syntax
• Collaborate to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks

Required qualifications

• Deep foundations in pure mathematics
• Fluency in Lean 4
• Strong command of core areas including probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory
• Comfortable with topics such as Markov’s and Chebyshev’s inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach–Alaoglu, Lax
• Clear, metacognitive communication

Nice to have

• Fluent in Lean 4
• In-progress or freshly earned PhD
• Current PostDoc experience in pure mathematics

Before you apply

• As a contractor, you’ll supply a secure computer and high-speed internet

About the company

agency