Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
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 VIRTUS The VIrtual Us The VirtUs team main objective is to create and simulate immersive populated virtual spaces where...
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 PhD Position F/M Decision models for the Edge-Cloud Computing Continuum Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Algebraic structures in dependent types theory Deadline to apply 25/06/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc in formal verification Deadline to apply 26/07/2024
Project-team EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
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 HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques The Hycomes team-project focuses on research topics related to cyberphysical systems design: Hybrid...
Project-team KERDATA Scalable Storage for Clouds and Beyond The KerData project-team is namely focusing on designing innovative architectures and systems for...
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 STACK Software Stack for Massively Geo-Distributed Infrastructures STACK members address challenges related to the management and advanced usages of Utility Computing...