Equipe-projet GAMMAO Génération Adaptative de Maillage et Méthodes numériques Avancées Gamma est une équipe de recherche spécialisée dans les technologies de maillage avancées et les...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiquestropicales pour traiter des...
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 CEDAR Analyse et traitement de données complexes à grande échelle Les applications à usage intensif de données de présentent un très grand degré d'hétérogénéité, dû...
Equipe-projet COMETE Vie privée, équité et robustesse dans la gestion de l'information L'équipe-projet COMETE étudie les concepts émergeant de l'ère moderne de l'informatique. La sécurité...
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...
Equipe-projet MIND modèles et inférence pour les données de Neuroimagerie MIND est une équipe-projet Inria commune avec le CEA (centre NeuroSpin) dont l'objectif scientifique...
Equipe-projet MUSCA Dynamiques de populations multi-échelles pour des systèmes physiologiques MUSCA (Dynamiques de populations multi-échelles pour des systèmes physiologiques) est une équipe...
Equipe-projet GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
Equipe-projet PETSCRAFT Concevoir des technologies d'amélioration de la vie privée explicables et efficaces