Chercheur principal (informatique / physique computationnelle)

Intitulé du poste : Chercheur principal (informatique / physique computationnelle)

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

Lieu : À distance

micro1 fait appel à des chercheurs principaux (informatique / physique computationnelle) pour contribuer à un projet client avancé à l'intersection de la théorie computationnelle et de l'IA. Dans ce rôle, vous mettrez votre expertise au service de l'entraînement des systèmes d'IA de nouvelle génération. Votre travail déterminera la manière dont les modèles apprennent, raisonnent et fonctionnent, grâce à des contributions concrètes de haute qualité. Aucune expérience préalable en IA n'est requise — ce sont vos connaissances du domaine qui comptent. Vous travaillerez avec des modèles et des agents d'IA de pointe pour aborder des problèmes ouverts, orienter la recherche et définir les critères des avancées scientifiques. Vos éclairages et votre rigueur seront déterminants pour établir ce qui constitue un véritable progrès dans votre sous-domaine.

Périmètre de la mission

• Identifier, cadrer et formuler des problèmes ouverts fondamentaux, des bornes théoriques ou des défis de simulation pour lesquels un progrès vérifiable peut être démontré.
• Guider les modèles et les agents d'IA dans des processus de recherche en plusieurs étapes — allant des preuves et des algorithmes aux expériences numériques et aux simulations haute performance.
• Évaluer de manière critique et valider les résultats, en recourant à des vérifications de preuves, à la reproduction computationnelle et à des méthodes formelles afin de 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.
• Rédiger des notes de recherche claires et concises détaillant les tentatives de recherche, les solutions partielles et les limites ou schémas d'échec observés chez les modèles.
• Conseiller sur les orientations de recherche, en recommandant des sous-domaines prometteurs et des problèmes ouverts susceptibles de progresser grâce aux modèles d'IA et aux outils computationnels.

Qualifications souhaitées

• 7 - 10+ ans de recherche active en informatique ou en physique mathématique/computationnelle, avec un solide bilan de contributions scientifiques.
• Une reconnaissance au niveau du domaine — telle que de grands prix, des distinctions de sociétés savantes ou des conférences plénières/invitées lors de grands événements scientifiques.
• Un historique de publications régulier dans les principaux lieux de publication de votre domaine, avec des résultats récents publiés au cours de la dernière année.
• Réussite démontrée dans la résolution de problèmes ouverts identifiés ou dans l'introduction de concepts influents adoptés par les pairs.
• Expérience approfondie et concrète des méthodes de recherche computationnelle : simulation, analyse numérique, implémentation d'algorithmes et/ou environnements de calcul haute performance.
• Capacité avérée à examiner rigoureusement des travaux techniques en dehors de votre domaine d'expertise immédiat.
• Une expérience au sein de comités de programme, de comités de rédaction ou avec des outils de recherche formels (par ex. Lean, Coq, solveurs SAT/SMT) est un net atout, tout comme un historique public d'exposition de problèmes ouverts ou de présentation de recherches avec des systèmes d'IA avancés.