Chercheur scientifique - Informatique et physique computationnelle

Intitulé du poste : Chercheur scientifique - Informatique et physique computationnelle

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

Lieu : À distance

micro1 recrute des chercheurs scientifiques en informatique et en physique computationnelle pour contribuer à l’avancement d’un projet de recherche à fort impact d’un client. 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 façonnera la manière dont les modèles apprennent, raisonnent et performent grâce à des contributions concrètes et de haute qualité. Aucune expérience préalable en IA n’est requise — ce sont vos connaissances du domaine qui comptent.

Périmètre des missions

• Identifier et proposer des problèmes ouverts, de nouvelles bornes ou des défis de recherche abordables dans votre sous-domaine, en vue d’une investigation rigoureuse.
• Mener des recherches structurées à l’aide de modèles et d’agents d’IA de pointe pour tenter des démonstrations, développer des algorithmes ou exécuter des simulations numériques.
• Vérifier systématiquement les résultats de recherche en contrôlant des démonstrations, en reproduisant des résultats numériques ou en recourant à des outils formels.
• Évaluer la nouveauté et l’exactitude des résultats par comparaison directe avec la littérature récente et les résultats publiés.
• Documenter les méthodologies, les résultats partiels et les difficultés rencontrées dans des rapports écrits clairs et détaillés.
• Mettre en évidence les pistes et découvertes prometteuses afin qu’elles soient approfondies par des chercheurs confirmés.

Qualifications souhaitées

• Niveau avancé en recherche : doctorant en fin de cursus, chercheur postdoctoral ou universitaire en début de carrière (0–5 ans après le doctorat) en informatique ou en physique mathématique/computationnelle.
• Reconnu par la communauté des pairs pour l’excellence de sa recherche, par exemple par des prix du meilleur article ou de la meilleure thèse dans des conférences de premier plan (p. ex. STOC, FOCS, SODA, PLDI, SC).
• Solide bilan de publications au cours des trois dernières années, comprenant plusieurs articles dans des conférences de premier plan et des résultats récents portant sur des problèmes ouverts identifiés ou introduisant des concepts nouveaux.
• Expertise pratique des méthodes computationnelles, incluant la simulation, l’analyse numérique et l’implémentation d’algorithmes.
• Une expérience de relecture ou de sous-relecture pour des conférences de renom dans votre spécialité est un atout.
• Expérience de l’utilisation de modèles de pointe, d’agents ou d’outils computationnels formels (p. ex. Lean, solveurs SAT/SMT) dans des travaux universitaires.
• Déclaration de recherche ou page personnelle publiquement partagée présentant les problèmes ouverts précis actuellement à l’étude.