25 days ago

Pure Mathematics Specialist AI Trainer

Meridial Marketplace, by Invisible

Hybrid
Contractor
$80,000
Hybrid
Apply

Job Overview

Job TitlePure Mathematics Specialist AI Trainer
Job TypeContractor
Offered Salary$80,000
LocationHybrid
Map of Hybrid

Who's the hiring manager?

Sign up to PitchMeAI to discover the hiring manager's details for this job. We will also write them an intro email for you.

Uncover Hiring Manager

Job Description

Pure Mathematics Specialist AI Trainer

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.

About the Role

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.

Key Responsibilities

  • Construct and evaluate complex proofs.
  • Substantiate mathematical reasoning for correctness and rigor.
  • Identify subtle conceptual or logical failures in mathematical reasoning.
  • Translate mathematical material into Lean 4 syntax.
  • Collaborate with the team to refine prompts, evaluation frameworks, and benchmarks.

Qualifications

  • PhD or Postdoc experience in pure mathematics (in-progress or recently completed).
  • Strong command of core mathematical areas including probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory.
  • Familiarity with concepts such as 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.
  • Normalized fluency in Lean 4.
  • Clear, metacognitive communication skills (explicitly articulating reasoning and proof strategies).

Compensation and Benefits

Pay range: $35 to $65 per hour, determined by experience, expertise, and geographic location. Final offer amounts may vary.

As an independent contractor, you will supply your own secure computer and high-speed internet. Company-sponsored benefits such as health insurance and PTO do not apply.

Key skills/competency

  • Pure Mathematics
  • Lean 4
  • AI Training
  • Proof Construction
  • Mathematical Reasoning
  • Functional Analysis
  • Probability Theory
  • Abstract Algebra
  • Category Theory
  • Metacognitive Communication

Tags:

Pure Mathematics
AI Trainer
Lean 4
Freelance
Contractor
Mathematics Specialist
AI Development
Proof Assistant
Functional Analysis
Probability Theory
Measure Theory
Abstract Algebra
Category Theory
Remote Work

Share Job:

How to Get Hired at Meridial Marketplace, by Invisible

  • Tailor your resume: Highlight your pure mathematics PhD/Postdoc experience and Lean 4 fluency.
  • Showcase your skills: Quantify your experience in proof construction and mathematical reasoning.
  • Prepare for technical questions: Be ready to discuss advanced mathematical concepts and Lean 4 syntax.
  • Demonstrate communication: Practice articulating complex mathematical strategies clearly and concisely.
  • Understand the role: Emphasize how your expertise will advance AI capabilities.

Frequently Asked Questions

Find answers to common questions about this job opportunity

Explore similar opportunities that match your background