Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
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...
Project-team MOEX Evolving Knowledge Human beings are apparently able to communicate knowledge. However, it is impossible for us to know...
Project-team MORPHEO Capture and Analysis of Shapes in Motion Morpheo's main objective is the ability to perceive and to interpret moving shapes using multiple...
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 STEEP Sustainability transition, environment, economy and local policy STEEP is an interdisciplinary research team devoted to systemic modelling and simulation of the...
Project-team TRIPOP Modeling, Simulation and Control of Nonsmooth Dynamical Systems The TRIPOP team (2018- ) is a joint research team of Inria Grenoble Rhone-Alpes and of the...
Job opportunities Engineer Full Stack Developer (Web & Mobile Application) Deadline to apply 05/06/2024
Job opportunities PhD Position F/M Formal Modelling and Automated Analysis of Resource Provisioning Languages Deadline to apply 30/06/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 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 ELAN modELing the Appearance of Nonlinear phenomena ELAN has the ambition to become a unique simulation team at Inria with an original positioning...
Project-team MICROCOSME Analysis, engineering, and control of microorganisms MICROCOSME combines computational and experimental approaches for the analysis, engineering, and...
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
Project-team QINFO Optimal Information Processing with Quantum Devices Information-processing devices that can take advantages of the laws of quantum theory have an...