Chercheur en informatique et physique computationnelle

Titre du poste : Chercheur en informatique et physique computationnelle

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

Lieu : Télétravail

micro1 recherche des chercheurs en informatique et physique computationnelle pour contribuer à un projet de recherche à fort impact pour un client. Dans ce rôle, vous appliquerez votre expertise pour aider à former les 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.

Portée des travaux

• Identifier et proposer des problèmes ouverts, de nouvelles limites ou des défis de recherche solubles dans votre sous-domaine en vue d'une investigation rigoureuse.
• Mener des recherches structurées en utilisant des modèles et des agents d'IA de pointe pour tenter des démonstrations, développer des algorithmes ou exécuter des simulations computationnelles.
• Vérifier systématiquement les résultats de recherche en contrôlant les démonstrations, en reproduisant les résultats numériques ou en employant des outils formels.
• Évaluer les conclusions quant à leur originalité et à leur exactitude 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 au moyen de rapports écrits clairs et approfondis.
• Mettre en valeur les nouvelles directions prometteuses et les découvertes en vue d'une exploration plus approfondie par des chercheurs seniors.

Qualifications souhaitées

• Statut avancé en recherche : doctorant en fin de parcours, chercheur postdoctoral ou universitaire en début de carrière (0 à 5 ans après le doctorat) en informatique ou en physique mathématique et computationnelle.
• Reconnu par la communauté des pairs pour l'excellence de sa recherche, par exemple par des prix du meilleur article ou de thèse dans de grands congrès (ex. : STOC, FOCS, SODA, PLDI, SC).
• Solide dossier 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 abordant des problèmes ouverts identifiés ou introduisant de nouveaux concepts.
• Expertise pratique en méthodes computationnelles, englobant la simulation, l'analyse numérique et la mise en œuvre d'algorithmes.
• Une expérience de l'évaluation ou de la pré-évaluation pour des conférences majeures dans votre spécialité est un plus.
• Expérience dans l'utilisation de modèles de pointe, d'agents ou d'outils de calcul formel (ex. : Lean, solveurs SAT/SMT) dans des travaux universitaires.
• Déclaration de recherche ou page personnelle partagée publiquement décrivant des problèmes ouverts spécifiques actuellement à l'étude.