Equipe-projet WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics Le web est devenu un vaste réseau de données distribuées, d'applications et d'utilisateurs dans...
Offre d'emploi Doctorant F/H Optimiser l’orchestration de services virtualisés dans un environnement multi-domaines Date limite pour postuler 30/06/2024
Offre d'emploi Post-Doctorant F/H [POSTDOC2024-CALISTO] : Machine Learning pour la Navigation et le Contrôle d’Essaims de Micro-nageurs en Milieux Complexes Date limite pour postuler 26/06/2024
Equipe-projet ACENTAURI • Intelligence artificielle et algorithmes efficaces pour la robotique autonome L'objectif d'ACENTAURI est d'étudier et de développer des robots intelligents, mobiles et autonomes...
Equipe-projet ATLANTIS Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée ATLANTIS est une équipe-projet commune entre Inria, le CNRS et l'Université Côte d'Azur, grâce à son...
Equipe-projet BOREAL Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés Les systèmes d'information actuels sont basés sur l'exploitation de données provenant d'un nombre...
Equipe-projet COATI Combinatoire, Optimisation et Algorithmes pour les Télécommunications L'objectif de COATI est de développer des méthodes et outils algorithmiques qui s'appliquent en...
Equipe-projet HEPHAISTOS HExapode, PHysiologie, AssISTance et Objets de Service Le projet HÉPHAÏSTOS a été créé le 1er Janvier 2014. Il regroupe des chercheurs INRIA et des...
Equipe-projet CALISTO Approches stochastiques pour les écoulements complexes et l’environnement La modélisation de la turbulence et la dynamique des particules sont en jeu dans de nombreuses...
Equipe-projet CRONOS Modélisation des résaux dynamiques cérébraux L'estimation, la quantification et comparaison de la dynamique cérébrale est un des défis centraux...
Equipe-projet DIANA Conception, Mise en oeuvre et Analyse d'Architectures Réseau L’équipe DIANA mène des recherches dans le domaine des réseaux, et en particulier sur la conception...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...