Expert en mathématiques (master/doctorat)

À propos de Turing : Basée à San Francisco, en Californie, Turing est le principal accélérateur de recherche au monde pour les laboratoires d’IA de pointe et un partenaire de confiance pour les entreprises internationales qui déploient des systèmes d’IA avancés. Turing accompagne ses clients de deux manières : d’abord, en accélérant la recherche de pointe grâce à des données de haute qualité, à des pipelines d’entraînement avancés et à d’éminents chercheurs en IA spécialisés dans le codage, le raisonnement, les STEM, le multilinguisme, la multimodalité et les agents ; ensuite, en appliquant cette expertise pour aider les entreprises à faire passer l’IA du stade de la preuve de concept à celui d’une intelligence propriétaire, avec des systèmes qui fonctionnent de manière fiable, produisent un résultat mesurable sur des projets qui améliorent et évaluent de grands modèles de langage en appliquant un raisonnement mathématique avancé, la résolution de problèmes, la pensée computationnelle et une communication écrite claire impact, et des résultats durables sur le compte de résultat (P&L).

Présentation du poste.

• Dans ce rôle, vous travaillerez sur des projets qui améliorent et évaluent de grands modèles de langage en appliquant un raisonnement mathématique avancé, la résolution de problèmes, la pensée computationnelle et une communication écrite claire.
• Le candidat idéal doit posséder de solides bases en mathématiques, en particulier au niveau attendu dans les concours d’entrée en école d’ingénieurs, ainsi que dans les programmes de master ou de doctorat.
• Vous devez être capable de décomposer des concepts mathématiques complexes en explications simples et claires et de travailler efficacement.
• Le poste comprend aussi des projets computationnels dans lesquels vous concevez des prompts précis à réponse fermée, écrivez du code Python fiable, vérifiez les réponses numériques et fournissez des justifications claires.
• Les projets vous aideront aussi à apprendre à tirer parti de l’IA pour devenir un meilleur analyste. C’est votre chance de pérenniser votre carrière dans un monde où l’IA passe en premier !

À quoi ressemble le quotidien :

• Concevoir des problèmes de mathématiques originaux et exigeants qui testent les limites de raisonnement des grands modèles de langage, en particulier dans des contextes à plusieurs étapes, abstraits et fondés sur la démonstration.
• Résoudre des problèmes de manière autonome et rédiger des solutions détaillées, logiquement structurées et clairement justifiées.
• Examiner les solutions générées par les modèles, identifier les erreurs mathématiques ou les arguments manquants, et fournir des retours, des annotations et des corrections précis..
• Contribuer à la définition de nouveaux référentiels d’évaluation fondés sur des programmes de mathématiques allant des premières années de licence jusqu’aux sujets de niveau doctorat.
• Développer et valider des solutions en Python pour des tâches computationnelles à l’aide de bibliothèques scientifiques approuvées.
• Travailler sur des tâches de démonstrateur de théorèmes avec Lean, notamment traduire des problèmes et des démonstrations mathématiques en langage formel et vérifier que les démonstrations formelles se compilent correctement.

Exigences :

• Compétences analytiques : bonnes compétences de recherche et d’analyse
• Compétences en matière de retours : capacité à fournir des retours constructifs et des annotations détaillées.
• Pensée créative : capacités de créativité et de pensée latérale.
• Communication : excellentes compétences de communication structurée et de collaboration dans un cadre à distance.
• Autonomie : esprit d’initiative et capacité à travailler de manière autonome dans un cadre à distance.
• Configuration technique : ordinateur de bureau/portable avec une bonne connexion Internet.

Qualifications souhaitées :

• Les candidats préparant un master, un doctorat ou un postdoctorat en mathématiques, en mathématiques appliquées, en statistiques ou dans un domaine connexe sont éligibles et encouragés à postuler.
• Capacité à analyser et à résoudre des problèmes de mathématiques complexes avec une approche structurée et logique.
• Capacité à expliquer clairement des concepts mathématiques avec un langage simple, des visuels et des exemples.

Avantages du freelancing avec Turing :

• Travail dans un environnement entièrement à distance.
• Possibilité de travailler sur des projets d’IA de pointe avec des entreprises de LLM de premier plan.
• Possibilité de prolongation du contrat en fonction des performances et des besoins du projet.

Détails de l’offre :

• Engagement requis : au moins 4 heures par jour et un minimum de 20 heures par semaine, avec 4 heures de chevauchement avec le fuseau PST. (Nous proposons 3 options d’engagement horaire : 20 h/semaine, 30 h/semaine ou 40 h/semaine)
• Type de collaboration : mission en tant que contractuel indépendant/freelance (sans couverture santé ni congés payés)