Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
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 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 M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (prononcer "médicime") est une équipe-projet commune avec l'Ecole Polytechnique, au sein du...
Offre d'emploi Stagiaire de la recherche / Ingénierie logicielle / Preuves et vérification / Bac + 3 ou équivalent Date limite pour postuler 31/05/2024
Offre d'emploi Post-Doctorant F/H Chercheur postdoctoral en IA responsable pour le journalisme Date limite pour postuler 02/06/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
Offre d'emploi Apprenti.e en communication et médiation scientifique Date limite pour postuler 27/06/2024
Equipe-projet AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
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 DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
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 GEOMERIX La Géometrie au Service du Numérique GeomeriX est une équipe-projet Inria dont l'objectif scientifique global est d'inventer des méthodes...
Equipe-projet MATHEXP Calcul formel, mathématiques expérimentales et interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...