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

Ready to Apply?

Take the next step in your AI career. Submit your application to Remotedxb today.

Submit Application