Mathematics Expert (Master’s/Ph.D.)

• Design original and challenging mathematics problems that test the reasoning limits of large language models, especially in multi-step, abstract, and proof-based settings.
• Solve problems independently and write detailed, logically structured solutions with clear justifications.
• Review model-generated solutions, identify mathematical errors or missing arguments, and provide precise feedback, annotations, and corrections.
• Contribute to defining new evaluation benchmarks based on Mathematics curricula spanning from early undergraduate to PhD-level topics.
• Develop and validate Python-based solutions for computational tasks using approved scientific libraries.
• Work on theorem-prover tasks using Lean, including translating mathematical problems and proofs into formal language, verifying that formal proofs compile correctly.

• Good research and analytical skills.
• Ability to provide constructive feedback and detailed annotations.
• Creative and lateral thinking abilities.
• Excellent structured communication and collaboration skills in a remote setting.
• Self-motivated and able to work independently in a remote setting.
• Desktop/Laptop set up with a good internet connection.
• Solid foundation in mathematics, particularly at the level expected in engineering entrance exams, as well as graduate or PhD-level programs.
• Able to break down complex mathematical concepts into simple, clear explanations and work efficiently.

• Pursuing a Master’s/Ph.D./Postdoctoral degree in Mathematics, Applied Mathematics, Statistics, or a related field.
• Ability to analyze and solve complex math problems with a structured and logical approach.
• Ability to explain math concepts clearly using simple language, visuals, and examples.

RequiredAlso useful

Also listed: problem-solving, written communication, analytical skills.

Project and contracting process: Turing. Applications continue on the provider's website.