Expert du domaine, mathématiques

Aidez à définir la manière dont les modèles d'IA de pointe raisonnent en mathématiques.

1\. Présentation

Nous recherchons des mathématiciens seniors pour améliorer la manière dont les modèles d'IA de pointe raisonnent sur la recherche mathématique réelle.

Votre jugement mathématique est la substance de ce poste. Vous examinerez la qualité des tâches de raisonnement mathématique et des sorties des modèles, rédigerez les énoncés de problèmes ainsi que les solutions et démonstrations de référence qui définissent ce que signifie « correct », et concevrez des benchmarks qui montrent si un modèle progresse réellement. Nous recherchons un spécialiste en exercice plutôt qu'un généraliste.

Ce poste est entièrement à distance.

2\. Responsabilités principales

• Revue d'expert : évaluer les tâches mathématiques et les sorties des modèles, en repérant les lacunes dans les démonstrations, les étapes non justifiées, les généralisations incorrectes et les arguments qui se lisent bien mais ne résisteraient pas à une évaluation par les pairs.
• Énoncés de problèmes et solutions de référence : rédiger des énoncés précis ainsi que des solutions et démonstrations de référence rigoureuses qui reflètent la manière dont les mathématiques de recherche se pratiquent réellement.
• Benchmarks : concevoir des problèmes exigeants, de niveau recherche, et des ensembles d'évaluation dans votre domaine de spécialisation.
• Calibrage : travailler avec d'autres chercheurs et experts de domaines voisins pour transformer le jugement tacite d'experts en critères explicites et transmissibles.

3\. Qualifications essentielles

• Formation : doctorat en mathématiques, mathématiques appliquées, statistiques, recherche opérationnelle ou domaine étroitement apparenté.
• Séniorité : poste universitaire (faculty), responsable de recherche (principal investigator), scientifique (staff) ou scientifique senior, ou rôle de recherche senior équivalent dans une université, un laboratoire national ou un organisme de recherche.
• Profondeur dans le domaine : véritable spécialisation dans au moins un domaine, par exemple analyse et EDP, algèbre et théorie des nombres, géométrie et topologie, probabilités et statistiques, ou mathématiques appliquées et optimisation.
• Parcours de recherche : solide bilan de publications évaluées par les pairs. Une reconnaissance telle que des bourses ou des prix compétitifs est un plus.
• Maîtrise de l'IA : usage concret des grands modèles de langage dans votre travail, et discernement pour distinguer un argument solide d'un argument faux mais plausible.
• Communication : excellente communication écrite et capacité à fournir des retours précis et bien structurés.
• Localisation : basé aux États-Unis.