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 PhD F/H Shape analysis of microstructure-augmented whiter matter fascicles Deadline to apply 31/08/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc position in Games for verification Deadline to apply 23/07/2024
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...
Project-team STACK Software Stack for Massively Geo-Distributed Infrastructures STACK members address challenges related to the management and advanced usages of Utility Computing...
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...
Job opportunities PhD Position F/M Reliable Deep Neural Network Hardware Accelerators Deadline to apply 02/08/2024
Project-team CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
Project-team ERMINE Measuring and Managing Network operation and economics Networks are omnipresent and increasingly complex, and require an efficient management of their...
Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team LACODAM Large scale Collaborative Data Mining The objective of the LACODAM team is to considerably facilitate the process of making sense from...
Project-team MAGELLAN Reliable and Responsible Decentralized Computing Infrastructures The Magellan Inria/ IRISA project-team aims to enable the creation of efficient, robust, environment...
Project-team MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation The MimeTIC research team focuses on designing methods for anlayzing human motion in ecological...