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 TADAAM Topology-aware system-scale data management for high-performance computing The goal of the TADaaM project is to design and build a stateful system-wide service layer for HPC...
Project-team TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
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 VALSE Finite-time control and estimation for distributed systems The information revolution brings new possibilities related with Internet of Things and Cyber...
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...
Job opportunities PhD Position F/M Dynamic in situ and in transit data analysis for Exascale Computing using Damaris Deadline to apply 20/07/2024
Job opportunities Post-Doctoral Research Visit F/M Control theory methods for epidemiological systems Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Distributed Machine Learning at the Network Edge Deadline to apply 31/05/2024