Project-team PLEIADE Patterns of diversity and networks of function The study of biology associates pattern recognition of diversity with modeling of functional and...
Project-team POTIOC Novel Multimodal Interactions for a Stimulating User Experience Potioc designs, develops and evaluates new approaches that exploit multimodal interaction to promote...
Project-team ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Resource Optimization: Models, Algorithms, and scheduling The ROMA team aims at designing models...
Project-team SCOOL Sequential decision making under uncertainty problem The scientific project of Scool is focussed on sequential decision making under uncertainty. In...
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 SPIRALS Self-adaptation for distributed services and large software systems Spirals is conducting research activities in the domains of distributed systems and software...
Project-team STARS Spatio-Temporal Activity Recognition Systems The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
Project-team SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...
Project-team TARAN Domain-Specific Computers in the Post Moore’s Law Era Energy efficiency has now become one of the main requirements for virtually all computing platforms...
Project-team TYREX Types and Reasoning for the Web Tyrex is a research project team, affiliated with CNRS LIG, Inria, UGA, and Grenoble INP. We develop...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Project-team WHISPER Well Honed Infrastructure Software for Programming Environments and Runtimes The focus of Whisper is on how to develop (new) and improve (existing) infrastructure software...
Job opportunities Post-Doctoral Research Visit F/M High Performance Solver for Aeroacoustics Deadline to apply 30/06/2024
Job opportunities Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Research and Development Engineer (M/F), Formal Verification of Rust Programs Deadline to apply 31/05/2024