Remote Mathematics Expert (PhD)
Offre en anglaisDesign and solve complex mathematical problems to test and improve the reasoning capabilities of large language models. Review model-generated solutions and develop Python-based computational tasks and formal proofs using Lean.
- Télétravail
- Toronto, Ontario, Canada
- Publié 13 août 2026
- Postuler avant le 12 sept. 2026
- 1 poste
D’autres postes auxquels postuler directement
Des possibilités semblables publiées par des employeurs qui recrutent sur Jobs.ca, sans formulaire externe.
Résumé du poste
About Turing: Based in San Francisco, California, Turing is the world’s 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 on projects that improve and evaluate large language models by applying advanced mathematical reasoning, problem-solving, computational thinking, and clear written communication impact, and lasting results on the P&L. Role Overview: In this role, you will work on projects that improve and evaluate large language models by applying advanced mathematical reasoning, problem-solving, computational thinking, and clear written communication. The ideal candidate should have a solid foundation in mathematics, particularly at the level expected in engineering entrance exams, as well as graduate or PhD-level programs. You should be able to break down complex mathematical concepts into simple, clear explanations and work efficiently. The role also includes computational projects where you design precise, closed-ended prompts, write reliable Python code, verify numerical answers, and provide clear rationales. The projects will also help you learn how to leverage AI to be a better analyst. This is your chance to future-proof your career in an AI-first world! What does day-to-day look like: 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. Requirements: Analytical Skills: Good research and analytical skills Feedback Skills: Ability to provide constructive feedback and detailed annotations. Creative Thinking: Creative and lateral thinking abilities. Communication: Excellent structured communication and collaboration skills in a remote setting. Independence: Self-motivated and able to work independently in a remote setting. Technical Setup: Desktop/Laptop set up with a good internet connection. Preferred Qualifications: Candidates pursuing a Master’s/Ph.D./Postdoctoral degree in Mathematics, Applied Mathematics, Statistics, or a related field are eligible and encouraged to apply. 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. Perks of Freelancing With Turing: Work in a fully remote environment. Opportunity to work on cutting-edge AI projects with leading LLM companies. Potential for contract extension based on performance and project needs. Offer Details: Commitments Required: at least 4 hours per day and a minimum of 20 hours per week, with 4 hours of overlap with PST. (We have 3 options of time commitment: 20 hrs/week, 30 hrs/week, or 40 hrs/week) Engagement type: Contractor assignment/freelancer (no medical/paid leave)
Ce que vous ferez
Design and solve complex mathematical problems to test and improve the reasoning capabilities of large language models. Review model-generated solutions and develop Python-based computational tasks and formal proofs using Lean.
Exigences
Requires a strong foundation in mathematics with a preference for candidates pursuing or holding a Master's, PhD, or Postdoctoral degree. Must possess excellent analytical, communication, and Python coding skills for a remote contractor role.
Compétences indiquées
- Résolution de problèmesSouhaitée
- PythonSouhaitée
Autres compétences pertinentes
Relevées dans la description du poste. Confirmez les exigences importantes ci-dessus.
- Mathematical Reasoning
- Problem Solving
- Computational Thinking
- Python
- Lean Theorem Prover
- Analytical Skills
- Technical Writing
- Feedback and Annotation
- Creative Thinking
- Collaboration
Domaines d’emploi
- Science & Research
- Technology
- Software
- Education
- Data & Analytics
Renseignements supplémentaires
- Formation minimale
- Maîtrise
- Expérience minimale
- 0+ ans
- Postuler avant le
- 12 sept. 2026
- Langue de l’offre
- anglais
- Heures de travail
- 40 heures par semaine
- Exigences de lieu
- Country, Toronto, Ontario, Canada
- Niveau d’expérience
- Entry level
- Mode de candidature
- La candidature directe est offerte