Remote Mathematics Expert (Lean Tool) - 33883

About Turing: Turing is one of the world’s fastest-growing AI companies accelerating the advancement and deployment of powerful AI systems.Turing helps customers in two ways: Working with the world’s leading AI labs to advance frontier model capabilities in thinking, reasoning, coding, agentic behavior, multimodality, multilinguality, STEM and frontier knowledge; and leveraging that work to build real-world AI systems that solve mission-critical priorities for companies.Role Overview: We're looking for PhD-level Mathematicians to work with a frontier AI R&D team focused on crafting high-quality [problem, solution] data that targets known failure patterns in today's top language models. You will work directly with the founders, helping create mathematical tasks that reflect deep conceptual challenges—comparable to those found in FrontierMath or IMO-level problem-solving. Prior experience with competitive math (IMO coaching/problem-setting/winning) is a plus, but not required—we’re open to grooming strong PhD talent into this space.What You’ll Do:Design and solve challenging math problems that expose weaknesses in large language models.Create high-quality, step-by-step solutions with clear reasoning and multimodal support (equations, visuals, graphs, simulations).Collaborate with founders to align problem types with model evaluation goals, particularly in topics where models typically fail (e.g., abstraction, multi-step reasoning, symbolic manipulation).Help define new evaluation benchmarks inspired by high-school olympiad math, early undergrad curriculum, and theoretical mathematics.Mentor/coach or review work from other math contributors or junior collaborators.What We’re Looking For:PhD (or strong MSc) in Mathematics or a closely related field.Strong problem-solving background—comfortable designing and solving non-standard problems.Excellent communication and writing skills, especially in explaining step-by-step mathematical reasoning.Experience with Lean tool (highly preferred) or Coq, Isabelle, HOL Light, or other similar theorem proversFamiliarity with LaTeX and math visualization tools (Desmos, GeoGebra, Python/Matplotlib, etc.).Nice-to-Have experience with Olympiad level competitions (as a contestant, coach, or problem-setter)Exposure to AI/LLM research, especially on evaluation or reasoning tasks.Technical Setup: Desktop/Laptop with reliable internet connection and necessary software for mathematical computations, visual content creation, simulations, and online collaboration.Job Benefits:Collaborative work environment with other math enthusiasts.Flexible working hours and remote work environment.Opportunity to work on cutting-edge AI projects with leading LLM companies.Note: Shortlisted candidates may be required to complete an assessment as part of the selection process.

Created: 2025-05-09