À propos du poste
Aperçu de l'opportunité
Handshake recherche des mathématiciens et chercheurs scientifiques expérimentés pour soutenir la recherche en IA dans le cadre d'un travail contractuel flexible à temps partiel. Il ne s'agit pas d'un emploi traditionnel : vous vous appuierez sur votre expérience pratique en mathématiques pures ou appliquées pour évaluer du contenu généré par l'IA et fournir des retours qui aident l'IA à raisonner comme un mathématicien en exercice.
Il s'agit d'une opportunité continue, basée sur des projets, que vous pouvez mener en parallèle de votre poste actuel.
Ce que vous ferez
Mobiliser votre expertise du domaine pour créer des problèmes et des scénarios mathématiques de niveau expert, ancrés dans de véritables démarches de preuve, de formalisation et de calcul Examiner et évaluer les réponses générées par l'IA au regard de leur exactitude technique, de leur rigueur et de leur adéquation avec la manière dont le travail est réellement effectué Fournir des retours écrits structurés pour aider à améliorer les performances des modèles d'IA Réaliser les tâches à votre propre rythme, sans horaire fixe ni nombre d'heures minimum
Qualifications
Les candidats idéaux remplissent les trois conditions suivantes :
Expérience de recherche — publications en tant que premier auteur et capacité à formaliser des preuves sur lesquelles les modèles d'IA échouent Diplôme — doctorat en mathématiques (pures ou appliquées) Profondeur dans un sous-domaine — expertise démontrée dans l'un des domaines suivants :
Preuve et méthodes formelles (Lean, Coq, Isabelle) Calcul symbolique (SageMath, Mathematica), optimisation et analyse numérique Un sous-domaine fondamental tel que l'algèbre, la topologie, la théorie des nombres ou la combinatoire
Les candidats qui remplissent au moins 2 des 3 qualifications ci-dessus sont également encouragés à postuler.
Qualifications supplémentaires (non obligatoires, mais qui renforcent votre candidature)
Maîtrise des assistants de preuve et des logiciels de calcul symbolique Expérience dans la formalisation de preuves ou dans le traitement de problèmes à la limite de ce que les modèles d'IA actuels peuvent résoudre
Obligatoire pour tous les candidats
Disposer d'une autorisation de travail en Inde Excellentes aptitudes à la communication écrite et souci du détail Capacité à expliquer clairement des concepts mathématiques complexes Capacité à travailler de manière autonome dans un environnement à distance et asynchrone