Location
dubai, dubai emirate, United-Arab-Emirates
Posted
July 25, 2026
Job Description
Remotedxb is seeking a mathematician to construct and evaluate complex proofs, substantiate rigorous reasoning, and translate material into Lean 4 syntax. The role emphasizes collaboration to refine prompts, evaluation frameworks, and reasoning benchmarks.
Candidates should have deep foundations in pure mathematics and fluency with Lean 4; ideal candidates include a PhD or postdoc experience and familiarity with advanced topics in analysis and algebra.
#J-18808-Ljbffr