Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
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 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...
Equipe-projet PLATON Quantification des Incertitudes en calcul scientifique pour l’ingénierie PLATON est une équipe-projet Inria commune avec l'École Polytechnique et le CNRS, au sein du CMAP...
Equipe-projet POEMS Propagation des Ondes : Etude Mathématique et Simulation L'activité générale de l'équipe est orientée vers la conception, l'analyse et l'approximation...
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
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...
Offre d'emploi Ingénieur de recherche Inria/Pass Culture : recommandations encourageant la diversité Date limite pour postuler 30/06/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
Offre d'emploi Post-Doctorant F/H Fondements mathématiques de l'analyse topologique des données pour l'apprentissage machine. Date limite pour postuler 30/08/2024