Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
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 ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
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 Research and Development Engineer (M/F), Formal Verification of Rust Programs 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
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 Post-Doctoral Research Visit F/M Model placement in inference delivery networks Deadline to apply 31/05/2024
Job opportunities PhD Position F/M Decentralized semantic data sharing with access control Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doctoral in the semantics of quantum computation and graphical languages Deadline to apply 30/11/2024
Job opportunities Compositional Methods for Utility under Local Privacy Mechanisms Deadline to apply 31/10/2024