Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team STATIFY Bayesian and extreme value statistical models for structured and high dimensional data The STATIFY team specializes in the statistical modeling of systems involving data with a complex...
Project-team STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
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 TANGRAM Visual Registration with Physically Coherent Models Physically coherent modeling, accurate registration and development of associated robust estimation...
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 WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...
Project-team WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...
Job opportunities Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Vehicle engineering: Mechatronics / Robotics / Development Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Decentralised Market-based Application Orchestration in Fog and IoT Environments Deadline to apply 23/06/2024
Job opportunities PhD Position F/M Computer-Assisted Collaborative Design of Transit Maps Deadline to apply 31/08/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 hybrid aircraft energy management planning Deadline to apply 16/06/2024