Pure Mathematics Specialist
Agency
WorldwideFully remoteContractIntern, Mid Level, SeniorInformation Technology
USD 35–65 an hourPosted 3 months ago3mo agoApply link checked 5 hours ago
Why we think you can apply
- Hiring model
- Open worldwide · the employer states no country restriction
- Work from
- Anywhere, the UAE included
Posted 3 months ago · apply link checked 5 hours ago
About the role
Responsibilities
- Construct and evaluate complex mathematical proofs
- Substantiate mathematical reasoning for correctness and rigor
- Identify subtle conceptual or logical failures in reasoning
- Translate mathematical material into Lean 4 syntax
- Collaborate with teams to refine prompts, evaluation frameworks, and reasoning benchmarks
Requirements
- Deep foundations in pure mathematics (probability theory, measure theory, real/functional analysis, abstract algebra, or category theory)
- Normalized fluency in Lean 4 proof assistant
- Ability to articulate reasoning and proof strategies clearly
- Proficiency with advanced topics such as Riesz representation theorem, Banach–Alaoglu, or the Yoneda embedding
Preferred Qualifications
- In-progress or freshly earned PhD in pure mathematics
- Current PostDoc experience in pure mathematics
About the Company
This project focuses on providing high-quality mathematical training data to advance the reasoning capabilities of large-scale language models.
What we look for
- Deep foundations in pure mathematics
- Fluency in Lean 4
- PhD or PostDoc experience preferred
- Strong mathematical reasoning
Machine LearningAILean
SponsorWake up to a shortlist, not a search results page.
NeverApply scores every new listing against your CV, salary floor and visa. A handful of real matches by morning.
Get your daily matchesSimilar jobsbased on title, category and scope
Agency
SponsorWake up to a shortlist, not a search results page.
NeverApply scores every new listing against your CV, salary floor and visa. A handful of real matches by morning.
Get your daily matchesPure Mathematics SpecialistAgency · free account, 30 seconds