Chercheur principal (informatique / physique computationnelle)

Intitulé du poste : Chercheur Principal en Sciences (Informatique / Physique Computationnelle)

Type de contrat : Prestataire (flexible, temps partiel ou temps plein)

Lieu : À distance

micro1 recherche des Chercheurs Principaux en Sciences (Informatique / Physique Computationnelle) pour contribuer à un projet client avancé à la croisée de la théorie computationnelle et de l'IA. Dans ce rôle, vous appliquerez votre expertise pour contribuer à l'entraînement des systèmes d'IA de nouvelle génération. Votre travail façonnera la manière dont les modèles apprennent, raisonnent et performent grâce à des données d'entrée réelles de haute qualité. Aucune expérience préalable en IA n'est requise, c'est votre connaissance du domaine qui compte. Vous travaillerez avec des modèles d'IA de pointe et des agents pour résoudre des problèmes ouverts, orienter la recherche et définir des normes pour les avancées scientifiques. Vos analyses et votre approche rigoureuse seront essentielles pour déterminer ce qui constitue de véritables progrès dans votre sous-domaine.

Portée du travail

• Identifier, formuler et articuler des problèmes ouverts fondamentaux, des limites théoriques ou des défis de simulation où des progrès vérifiables peuvent être démontrés.
• Guider les modèles d'IA et les agents dans des processus de recherche en plusieurs étapes, allant des preuves et algorithmes aux expériences numériques et simulations haute performance.
• Évaluer et valider de manière critique les résultats, en utilisant des vérifications de preuves, la reproduction computationnelle et des méthodes formelles pour cerner les limites du raisonnement généré par les modèles.
• Évaluer et documenter la nouveauté, l'exactitude et la portée des résultats de recherche par rapport à la littérature actuelle et aux résultats établis.
• Produire des notes de recherche claires et concises détaillant les tentatives de recherche, les solutions partielles et les limites observées des modèles ou les schémas d'échec.
• Conseiller sur les orientations de recherche, en recommandant des sous-domaines prometteurs et des problèmes ouverts propices à une avancée via des modèles d'IA et des outils computationnels.

Qualifications souhaitées

• 7 à 10+ ans de recherche active en informatique ou en physique mathématique/computationnelle, avec un solide dossier de contributions scientifiques.
• Reconnaissance au niveau du domaine, telle que des prix majeurs, des bourses de sociétés savantes ou des présentations plénières/invitées lors d'événements académiques de premier plan.
• Un dossier de publication constant dans des revues de premier plan au sein de votre domaine, avec des résultats récents publiés au cours de la dernière année.
• Succès avéré dans la résolution de problèmes ouverts identifiés ou l'introduction de concepts influents adoptés par vos pairs.
• Expérience approfondie et pratique des méthodes de recherche computationnelle : simulation, analyse numérique, mise en œuvre d'algorithmes et/ou environnements de calcul haute performance.
• Capacité avérée à examiner rigoureusement des travaux techniques en dehors de votre domaine immédiat d'expertise.
• Une expérience au sein de comités de programme, de comités de lecture ou avec des outils de recherche formels (par exemple, Lean, Coq, solveurs SAT/SMT) est un atout majeur, tout comme un historique public de formulation de problèmes ouverts ou de présentation de recherches avec des systèmes d'IA avancés.