Pure Mathematics Specialist – Freelance AI Trainer Project

Benefits

Parental leave

Not verified

Non-birth-parent leave

Not verified

Family-building benefits

• Fertility benefits: Not verified
• Adoption assistance: Not verified
• Surrogacy assistance: Not verified

Mental health support

Not verified

Relocation assistance

Not verified

Childcare support

Not verified

Learning budget

Not verified

Verification

Not verified

Salary

$35-$65/hr From the posting source checked Jun 20, 2026

Was this benefit information wrong? Tell us.

Role

Role function

Security From the posting source checked Jun 20, 2026

Seniority

Mid From the posting source checked Jun 20, 2026

Work mode

Remote From the posting source checked Jun 20, 2026

In-office days

0 days From the posting source checked Jun 20, 2026

Schedule

Shift type

Not verified

Weekend work

Not verified

Application

Cover letter

Not verified

Assessment

Not verified

Deadline

Not stated

Where they hire

State eligibility is not yet verified.

About this role

Pure Mathematics Specialist – Freelance AI Trainer Project World Wide - Remote Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow's AI can better understand abstraction, logic, measure theory, homotopy, and the deep structures of modern mathematics. That training data begins with you - your insight will help power the next generation of AI. We're looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory. Coupled with this deep foundation, we need each expert to have a normalized fluency in Lean 4, the proof assistant and programming language. On a typical day, you will construct and evaluate complex proofs, substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures, and translate this material to successfully build in .lean syntax. You will also collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks, enhancing the overall quality of our operations. Candidates fluent in Lean 4 with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics are ideal. A strong command of core areas is required, and applicants should be comfortable with topics such as Markov's and Chebyshev's inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem,

Read the full description at job-boards.eu.greenhouse.io. FewerJobs shows a preview and links to the original posting.