Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team PRIVATICS Privacy Models, Architectures and Tools for the Information Society Since its creation in 2014, the PRIVATICS project-team focusses on privacy protection in the digital...
Job opportunities PhD Position F/M Formal Modelling and Automated Analysis of Resource Provisioning Languages Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Strategies for Optimal EV Charging Infrastructure and Power Allocation in EV Electromobility Networks Deadline to apply 31/07/2024
Job opportunities PhD Position F/M Framework for the Efficient Coupling Parallel Numerical Solvers and Deep Neural Networks on Supercomputers Deadline to apply 10/07/2024
Project-team AIRSEA Mathematics and computing applied to oceanic and atmospheric flows Recent events have raised questions on social and economic implications of anthropic alterations of...
Project-team MICROCOSME Analysis, engineering, and control of microorganisms MICROCOSME combines computational and experimental approaches for the analysis, engineering, and...
Project-team POLARIS Performance analysis and Optimization of LARge Infrastructures and Systems The goal of the POLARIS project is to contribute to the understanding (from the observation...
Project-team QINFO Optimal Information Processing with Quantum Devices Information-processing devices that can take advantages of the laws of quantum theory have an...
Project-team SPADES Sound Programming of Adaptive Dependable Embedded Systems The SPADES project-team aims at mastering the complexity and dependability of networked embedded...
Project-team STEEP Sustainability transition, environment, economy and local policy STEEP is an interdisciplinary research team devoted to systemic modelling and simulation of the...
Project-team THOTH Learning visual models from large-scale data Thoth is a joint team of Inria and Laboratoire Jean Kuntzmann, and started in January 2016. It is a...
Project-team ANIMA Authoring and directing animated story worlds ANIMA focuses on developing computer tools for authoring and directing animated movies, interactive...
Project-team CHROMA Cooperative and Human-aware Robot Navigation in Dynamic Environments The Chroma team aims at designing general methods for mobile robots' perception and decision making...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...