Meridial Marketplace, by Invisible · 3 days ago
Pure Mathematics Specialist – Freelance AI Trainer Project
United States
Contract
Remote
Senior Level
$35/hr - $65/hrMeridial Marketplace, by Invisible is seeking a Pure Mathematics Specialist to contribute to the future of AI through high-quality mathematical training data. The role involves constructing complex proofs, collaborating on evaluation frameworks, and ensuring mathematical reasoning is correct and rigorous.
Computer Software
Responsibilities
Construct and evaluate complex proofs
Substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures
Translate material to successfully build in .lean syntax
Collaborate with the team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks, enhancing the overall quality of operations
Qualification
Required
Deep foundations in pure mathematics
Engagement with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory
Normalized fluency in Lean 4, the proof assistant and programming language
Ability to construct and evaluate complex proofs
Substantiation of mathematical reasoning for correctness and rigor
Identification of subtle conceptual or logical failures
Translation of material to successfully build in .lean syntax
Collaboration with team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks
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 (explicitly articulating reasoning and proof strategies)
In-progress or freshly earned PhD or current PostDoc experience in pure mathematics
Benefits
Health insurance
PTO
Company
Meridial Marketplace, by Invisible
We are the AI training and scaling partner for the leading foundation model providers, enterprises, and governments, bridging the gap between AI potential and production.
Founded in 2015
5001-10000 employees
Funding
Current Stage
Late StageCompany data provided by crunchbase