OpenTrain is hiring a remote Mathematics LLM Evaluation Expert to design, solve, and review advanced mathematics content, computational tasks, and Lean formal proofs to improve language model reasoning. Candidates need academic or professional expertise in mathematics or related fields, alongside proficiency in Python, Lean theorem proving, and English. The position is open worldwide as a contractor engagement requiring at least 20 hours per week with 4 hours of daily overlap with Pacific Time.