Equipe-projet DISCO Systèmes dynamiques interconnectés dans des environnements complexes Le but de ce projet est de mieux comprendre et de bien formaliser les effets induits par les...
Offre d'emploi Doctorant F/H Conception Assistée et Collaborative de Cartes de Mobilité Date limite pour postuler 31/08/2024
Offre d'emploi Doctorant F/H Interoperability of proof systems based on higher-order logic (F/M) Date limite pour postuler 30/09/2024
Equipe-projet IDEFIX Solution d’ Equations Differentielles pour l’Imagerie et la physique L'activité de recherche de notre équipe est dédiée à la conception, l'analyse et l'implémentation de...
Equipe-projet PLATON Quantification des Incertitudes en calcul scientifique pour l’ingénierie PLATON est une équipe-projet Inria commune avec l'École Polytechnique et le CNRS, au sein du CMAP...
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
Equipe-projet SODA Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données La recherche de l'équipe soda est à l'intersection de l'apprentissage statistique, des bases de...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
Offre d'emploi Post-Doctorant F/H Résolution de problèmes d'optimisation convexe dans le contrôle prédictif non linéaire basés sur optimisation quadratique rapide Date limite pour postuler 30/06/2024
Offre d'emploi Doctorant F/H Certification of automated theorem provers for higher-order logic (F/M) Date limite pour postuler 30/09/2024
Offre d'emploi Apprenti.e en communication et médiation scientifique Date limite pour postuler 27/06/2024