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
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 TAU IA : vers des problèmes mieux posés Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
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 TRIBE Pour un Internet non-conventionnel TRiBE (inTeRnet BEyond the usual) est une équipe de recherche de l'INRIA Saclay - Ile de France...
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 Certification of automated theorem provers for higher-order logic (F/M) Date limite pour postuler 30/09/2024
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 LIFEWARE Computational systems biology and optimization Le projet Lifeware vise à développer des méthodes formelles pour comprendre la machinerie cellulaire...
Equipe-projet MERGE Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence MERGE rassemble des chercheurs travaillant en mathématiques - plus précisément sur les processus...
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...