© Christian MOREL / IRISA / CNRS Images
-A +A
Imprimer

Liste des postes de chaires de professeur junior de CNRS Sciences informatiques 2026

Institutionnel

Le CNRS recrute des chercheurs et chercheuses sur des Chaires de professeur junior (CPJ) dans plusieurs domaines relatifs aux sciences informatiques. Retrouvez ci-dessous les postes disponibles.

Calendrier de candidature à venir

Retrouvez les 4 CPJ disciplinaires ci-dessous :

Imagerie élargie à l’exploitation de données multimodales (IDM)

L’objectif scientifique est de pouvoir exploiter des données massives en imagerie contextualisées cliniquement, afin de concevoir, développer, évaluer et valider de nouvelles approches d'analyse de ces données, avec une vision beaucoup plus intégrée, transdisciplinaire et translationnelle. Cela passe par l’intégration de données hétérogènes et la modélisation des trajectoires de soins des patients, incluant les images médicales, les rapports radiologiques, les données hospitalières et biologiques. Cela doit permettre un suivi longitudinal de ces données multimodales, afin d'identifier les facteurs déterminants pour l'efficacité des traitements. Il s’agit aussi d’identifier et de valider des signatures biomédicales complexes à partir de sources multimodales et multi-échelles (IRM multi-paramétrique, EEG, ECG, imagerie ultrasonore, données biomoléculaires, génétiques et phénotypiques…), afin de révéler des mécanismes pathologiques sous-jacents, et guider les approches thérapeutiques.

Laboratoires d'accueil :

Établissements :

  • INSA Lyon
  • Université Grenoble Alpes
  • Université de Strasbourg, Institut interdisciplinaire de Neurosciences de Strasbourg

Langages de programmation et compilation (LPC)

Il y a un besoin toujours très important dans le développement, la conception et la sémantique des langages de programmation, qui fournissent des abstractions les plus adaptées possibles à leur contexte d’utilisation. Ceci est notamment utile pour la production de compilateurs et d'outils de vérification mécanisée. On peut par exemple penser à des langages de programmation comme Rust qui possède une gestion de la mémoire sûre mais néanmoins optimisée et qui peut ainsi viser des applications de la programmation système ou à des langages dédiés au parallélisme permettant de passer d'une spécification déterministe à un code embarqué cible pouvant s'exécuter sur des architectures parallèles (multi-cœurs). Dans la plupart des cas, ces abstractions sont obtenues grâce à la conception de nouveaux systèmes de types, dont les propriétés sont prouvées et leur exploitation nécessite le développement de techniques modernes de compilation et de vérification qui permettent d’obtenir un code sûr et efficace. Ces thématiques de recherche sont activement développées dans les communautés qui publient dans les conférences telles que POPL, PLDI, ICFP, OOPSLA ou ECOOP.

Laboratoires d'accueil :

Établissements :

  • ENS Lyon
  • ENS Paris Saclay
  • ENS PSL
  • Université Grenoble Alpes

Optimisation – fondement et analyse des algorithmes (OPTIM)

Les méthodes d'optimisation constituent aujourd'hui un socle fondamental pour le traitement de problèmes complexes en sciences informatiques, dans de nombreux domaines (par ex., bio-informatique, neurosciences, climatologie, astrophysique, santé …), dans les applications industrielles, les questions de l’organisation de notre société, et au-delà. Ce profil de poste vise à recruter un ou une scientifique dont les travaux s'inscrivent dans le domaine de l'optimisation au sens large : optimisation stochastique, optimisation par contrainte, programmation mathématique, optimisation sur variétés ou optimisation fédérée et distribuée, avec une approche algorithmique. L'objectif est de développer notre compréhension fondamentale du fonctionnement des algorithmes utilisés en pratique (analyse de convergence, complexité, robustesse) et de les adapter aux contraintes des applications à grande échelle (passage à l'échelle, hétérogénéité des données, problèmes mal posés, contraintes de communication et de mémoire).

Laboratoires d'accueil : 

Établissements :

  • Institut Polytechnique de Paris (École Polytechnique)
  • Université de Lille
  • Université Paris-Saclay
  • Université Toulouse III - Paul Sabatier

Véhicules et Systèmes Robotiques Autonomes (VSRA)

L’objectif général de ce projet est de renforcer les activités du CNRS dans le domaine de la robotique, de l’automatique et de l'IA. Il vise le développement de systèmes autonomes en interaction avec des humains dotés d'une « intelligence embarquée », leur permettant d'agir de manière fiable dans des environnements non structurés et non prédictibles. Quelques axes d’intérêt :

  • Développer de nouvelles approches et architectures de contrôle pour les systèmes autonomes (véhicules ou robots, incluant les drones) tenant compte des aspects humains, incluant le développement d’observateurs et estimateurs exploitant les données disponibles.
  • Percevoir et comprendre des situations en environnement ouvert et dynamique, gérer des incertitudes et l’intégrité du système physique et de son environnement (sûreté de fonctionnement)
  • Planifier des trajectoires et la cartographie dans l'espace (SLAM)

Laboratoires d'accueil :

Établissements :

  • Université Polytechnique Hauts de France
  • Université de Technologie de Compiègne

Retrouvez les 3 CPJ interdisciplinaires ci-dessous :

INSHS - Apprentissage et cognition : approches biologiques et basées sur l’apprentissage artificiel (APPCO)

À l’interface entre sciences humaines et informatiques, la CPJ APPCO cherche à combiner modélisation informatique, expérimentation comportementale et analyse conceptuelle en philosophie analytique et des sciences (sciences cognitives, biologie) : celui des bases cognitives et modèles informatiques. Il s'agit de modéliser les capacités cognitives (raisonnement causal, cognition spatiale, numérique, sociale, capacités communicatives et langagières) dans des conditions écologiquement réalistes, afin de tester si des connaissances biologiques a priori sont nécessaires à leur émergence. La question des architectures modulaires / génériques y apparaît centrale : quelle organisation favorise la généralisation, l’apprentissage et son transfert ? Les agents socialement interactifs constitueraient un outil d'évaluation pertinent, puisque la cognition humaine est profondément liée aux interactions sociales.

Laboratoires d'accueil :

Établissements :

  • ENS - Paris Sciences et Lettres
  • Sorbonne Université

INEE - Inférence probabiliste fondée sur l’apprentissage et les IA génératives, appliquée à la génomique évolutive (Biod-AI-versity)

Le scientific machine learning connaît une révolution portée par l’IA générative, capable d’apprendre, à partir de données souvent non supervisées, des modèles probabilistes universels de la structure statistique des domaines étudiés. Cela transforme des tâches comme la prédiction ou la classification en cas particuliers d’inférence, amplifiés par la puissance de ces modèles. Le défi consiste à en extraire des variables latentes interprétables, reflétant les mécanismes biologiques sous-jacents.
La génomique évolutive, avec ses modèles probabilistes de processus biologiques (mutations, structure des génomes, contraintes biophysiques, sélection) et ses données massives mais bruitées, offre un terrain idéal pour ces avancées. Les progrès récents de l’IA en biologie (AlphaFold, ESM, DNABert) permettent désormais d’intégrer séquence, structure, fonction et dynamique évolutive. Ainsi, ce domaine mobilise naturellement les approches émergentes du ML (inférence par simulation, modèles de diffusion, neural ODEs/SDEs, auto-encodeurs variationnels) pour développer des méthodes d’inférence scalables, interprétables et accessibles à la communauté scientifique. 

Laboratoires d'accueil :

Établissements :

  • Université Claude Bernard Lyon 1
  • Université Paris-Saclay

INSMI - IA générative pour les preuves formelles (GenProofs)

Les assistants de preuve (Rocq/Coq, Lean, Isabelle) permettent de certifier mécaniquement des résultats mathématiques avec une rigueur absolue. Des jalons comme la preuve du théorème des quatre couleurs par Gonthier illustrent leur puissance. Leur limite historique réside dans l'effort humain considérable qu'exige la traduction d'une preuve mathématique en script formel, freinant ainsi le passage à l'échelle.
Les progrès récents de l'IA générative changent la donne : des modèles entraînés sur des corpus de preuves formelles (AlphaProof, LeanDojo) peuvent désormais générer et explorer des preuves de manière largement autonome. Un atout décisif de ce paradigme est la vérifiabilité intrinsèque des preuves produites — leur validité est attestée mécaniquement, sans expertise externe, levant ainsi les doutes habituels sur la fiabilité des sorties d'IA.
Développer des modèles efficaces pour cette tâche requiert une expertise à l'intersection des assistants de preuve, des architectures de modèles de langage et des mathématiques.

Laboratoires d'accueil :

Établissements :

  • Université Claude Bernard Lyon 1
  • École Normale Supérieure de Lyon

Pour candidater

  • Publication officielle des postes : fin mai - début juin
  • Dépôt des candidatures à l’été 2026
  • Sélection et audition à l’automne 2026
  • Prise de poste courant 2027

Retrouvez plus d'informations relatives aux offres sur le site carrières du CNRS.