À propos du poste
Aperçu de l'opportunité
Handshake recherche des mathématiciens et des chercheurs scientifiques expérimentés pour soutenir la recherche en IA par le biais de missions contractuelles flexibles à 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
Utiliser votre expertise du domaine pour créer des problèmes et des scénarios mathématiques de niveau expert fondés sur des démonstrations réelles, la formalisation et des flux de travail computationnels Examiner et évaluer les réponses générées par l'IA pour leur exactitude technique, leur rigueur et leur adéquation à 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 Accomplir les tâches à votre propre rythme, sans horaire fixe ni nombre d'heures minimum Possibilité de publier aux côtés de notre équipe de recherche.
Qualifications
Les candidats idéaux remplissent les trois conditions suivantes :
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 :
Démonstration 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/géométrie, la théorie des nombres, l'analyse ou la combinatoire Les candidats qui remplissent au moins 2 des 3 qualifications ci-dessus sont également encouragés à postuler.
Qualifications supplémentaires (non requises, mais qui renforcent votre candidature)
Maîtrise des démonstrateurs de théorèmes et des logiciels de calcul symbolique Expérience dans la formalisation de démonstrations ou dans le travail sur des problèmes à la limite de ce que les modèles d'IA actuels peuvent traiter
Requis pour tous les candidats
Doit disposer d'une autorisation de travail aux États-Unis Excellente 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