Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
Project-team DISCO Dynamical Interconnected Systems in COmplex Environments The goal of the project is to better understand and well formalize the effects of complex...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team PETRUS PErsonal & TRUSted cloud We are witnessing an exponential accumulation of personal data on central servers: data...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
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 Grid Coloring for Object Sensing and Localization (Master's Internship) Deadline to apply 30/09/2024
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team OPIS OPtImization for large Scale biomedical data The objective of the OPIS project is to design advanced optimization methods for the analysis and...