Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA), a recent field whose aim is to...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team MIND Models and Inference for Neuroimaging Data MIND is a joint Inria and CEA (NeuroSpin center) project-team whose overall scientific objective is...
Project-team PETRUS PErsonal & TRUSted cloud We are witnessing an exponential accumulation of personal data on central servers: data...
Project-team RANDOPT Randomized Optimization The RandOpt team at Inria's Saclay - Ile-de-France research center, joint team with the CMAP at...
Job opportunities PhD Position F/M Computer-Assisted Collaborative Design of Transit Maps Deadline to apply 31/08/2024
Job opportunities PhD Position F/M Certification of automated theorem provers for higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Interoperability of proof systems based on higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Signal processing-based on the squared eigenfunctions of the Schrodinger operator. Application to EEG signals Deadline to apply 30/09/2026
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Robust control of several classes of delay systems Deadline to apply 01/06/2024
Project-team FAIRPLAY Coopetitive AI: Fairness, Privacy, Incentives Most of the current machine learning literature focuses on the case of a single agent (an algorithm)...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...