Remote Mathematics Specialist

About the job

About Turing:Based in San Francisco, California, Turing is the worlds leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI systems. Turing supports customers in two ways: first, by accelerating frontier research with high-quality data, advanced training pipelines, plus top AI researchers who specialize in coding, reasoning, STEM, multilinguality, multimodality, and agents; and second, by applying that expertise to help enterprises transform AI from proof of concept into proprietary intelligence with systems that perform reliably, deliver measurable impact, and drive lasting results on the P&L Role Overview:The Mathematical Systems & Abstract Reasoning Engineer is responsible for developing advanced reasoning datasets that evaluate and improve the capabilities of Large Language Models (LLMs). This role involves designing novel mathematical systems, defining custom rules and axioms, and creating rigorous reasoning challenges that require models to interpret definitions, perform symbolic computations, derive properties, and construct logically sound proofs. The ideal candidate combines deep expertise in abstract mathematics with exceptional analytical and communication skills to produce self-contained, verifiable, and high-quality evaluation tasks. What does day-to-day look like:

• PhD / Doctorate
• Designed and defined novel mathematical systems, operations, and axiomatic frameworks for reasoning evaluations.
• Authored multi-step reasoning tasks involving symbolic manipulation, expression evaluation, and proof-based problem solving.
• Developed deterministic solutions, detailed reasoning traces, and comprehensive scoring rubrics for model assessment.
• Identified and addressed edge cases, ambiguities, and logical inconsistencies to ensure task robustness and reproducibility.
• Collaborated with reviewers and AI/LLM teams to refine task definitions, evaluation criteria, and dataset quality standards.

Required Qualifications:

• Strong foundation in abstract mathematics, formal logic, algebraic structures, discrete mathematics, or theoretical computer science.
• Minimum 2 years of experience in mathematics, computer science, data science, logic, or a related analytical discipline.
• Proven ability to create structured reasoning problems that assess both conceptual understanding and procedural accuracy.
• Excellent written communication skills with the ability to document rigorous definitions, proofs, and reasoning processes.
• Experience evaluating LLM reasoning performance or developing AI training and assessment datasets is preferred.