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 Doctorant F/H Doctorant(e) - Régularité de Castelnuovo Mumford des codes en métrique rang Date limite pour postuler 31/08/2024
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 DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet PETRUS Cloud personnel sécurisé Nous assistons à une accumulation exponentielle de données personnelles sur des serveurs centraux...
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 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 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 TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiques tropicales pour traiter des...
Equipe-projet SIMBIOTX SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires L'objectif global de SIMBIOTX est la mise en œuvre de modèles et d'outils numériques ayant des...
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...