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 GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team IDEFIX Inversion of Differential Equations For Imaging and physiX The research activity of our team is dedicated to the design, analysis and implementation of...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
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 POEMS Wave propagation: mathematical analysis and simulation The general activity of the team is oriented toward the design, the analysis and the numerical...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team TRIBE inTeRnet BEyond the usual The TRiBE (inTeRnet BEyond the usual) is a research team of Inria Saclay – Ile de France, located at...
Job opportunities Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Research and Development Engineer (M/F), Formal Verification of Rust Programs Deadline to apply 31/05/2024
Job opportunities Internship Research / Software engineering / Proofs and Verification / Bachelor's degree or equivalent Deadline to apply 31/05/2024
Job opportunities Post-Doctoral Research Visit F/M Postdoctoral researcher in Responsible AI for Journalism Deadline to apply 02/06/2024