Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
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 DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
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 MERGE Mathematics for Evolution, Reproduction, Growth and Emergence MERGE gathers researchers all working in mathematics - more precisely stochastic processes, Partial...
Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
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 QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
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 Certification of automated theorem provers for higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Inter-system translation of recursive functions (M/F) 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