À propos du poste
Contribuez à façonner l'avenir de l'IA en concevant des problèmes mathématiques exigeants qui testent et améliorent le raisonnement des modèles de pointe.
- Lieu : À distance
- Type : Contrat / Temps partiel
- Engagement : 20 heures par semaine
- Rémunération : Jusqu'à 40 USD / h
- Durée du projet : 2 mois, avec possibilité de prolongation
- Disponibilité : Démarrage immédiat
À propos du poste
Nous créons des données d'entraînement STEM de haute qualité pour les modèles d'IA de pointe. Nos données sont utilisées directement dans les pipelines d'entraînement et d'évaluation des principaux laboratoires d'IA afin d'améliorer le raisonnement des modèles dans les domaines techniques.
Nous recherchons des experts en mathématiques pour concevoir des problèmes rigoureux et déterministes qui représentent un véritable défi pour les systèmes d'IA de pointe. Chaque problème doit avoir exactement une réponse correcte vérifiable et être soumis avec une solution complète et vérifiée.
Ce que vous ferez
- Concevoir des problèmes mathématiques avancés pour l'entraînement et l'évaluation d'IA de pointe
- Créer des problèmes déterministes avec exactement une réponse correcte
- Rédiger des solutions complètes et vérifiées et documenter clairement le processus de raisonnement
- Développer des problèmes qui testent un raisonnement mathématique approfondi, et pas seulement la mémorisation
- Le cas échéant, utiliser Python ou des outils spécialisés pour construire des workflows computationnels
- Veiller à ce que tous les livrables soient techniquement précis, reproductibles et bien rédigés en anglais
Ce que nous recherchons
- Master ou doctorat en mathématiques ou dans un domaine étroitement lié
- Solide expérience en recherche ou en industrie impliquant la modélisation mathématique, le raisonnement fondé sur des preuves, les mathématiques appliquées ou les mathématiques computationnelles
- Solides compétences en Python ; à l'aise avec des bibliothèques telles que numpy, scipy, pandas ou similaires
- Bonne maîtrise des algorithmes, des méthodes numériques et des approches computationnelles
- Capacité à concevoir des problèmes originaux et difficiles qui reflètent de véritables workflows mathématiques
- Excellent souci du détail et compétences rédactionnelles techniques en anglais
Atouts
- Expérience avec des systèmes de mathématiques symboliques, des démonstrateurs de théorèmes, des solveurs d'optimisation ou d'autres logiciels mathématiques
- Expérience dans la conception de problèmes de niveau olympiade, de niveau master ou de niveau recherche
- Expérience dans l'évaluation du raisonnement des modèles, le benchmarking ou la conception d'évaluations techniques