Pure Mathematics Pro & Lean 4 Proof Architect

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.