Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
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 POTIOC Novel Multimodal Interactions for a Stimulating User Experience Potioc designs, develops and evaluates new approaches that exploit multimodal interaction to promote...
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...
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 STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
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 TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team TOPAL Tools and Optimization for high Performance Applications and Learning The aim of the Topal team ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) is to propose...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
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...
Job opportunities PhD Position F/M Algorithms for dynamic risk prediction with longitudinal data Deadline to apply 24/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 Interoperability of proof systems based on higher-order logic (F/M) Deadline to apply 30/09/2024