Job opportunities Compositional Methods for Utility under Local Privacy Mechanisms Deadline to apply 31/10/2024
Job opportunities PhD Position F/M Signal processing based on the squared eigenfunctions of the Schrodinger operator: Mathematical analysis and application to the identification of Vulnerable Carotid Plaques using CT Scans Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Vehicle-and-mobile phone computing sharing as part of the edge-to-cloud continuum Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Mobility-aware Edge Computing for 5G Deadline to apply 30/06/2024
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applications arising in decision theory...
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...
Project-team PLATON Uncertainty Quantification in Scientific Computing and Engineering PLATON is an Inria project-team joint with École Polytechnique, within CMAP (Centre de Mathématiques...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team BENAGIL Efficient and safe distributed systems The Benagil team studies how to design more efficient and safer distributed systems with a focus on...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France research center, joint with the...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
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 QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...