Location
dubai
Job Type
Full-time
Posted
July 16, 2026
Job Description
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 syntaxCollaborate 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