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 I4S Statistical Inference for Structural Health Monitoring The overall objective of this project-team is the development of Structural Health Monitoring (SHM)...
Project-team MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation The MimeTIC research team focuses on designing methods for anlayzing human motion in ecological...
Project-team ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
Project-team SAIRPICO Space-time imaging, artificial intelligence and computing for cellular and chemical biology
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 Incremental Deep Learning for Embedded Systems Deadline to apply 26/07/2024
Job opportunities R&D Engineer in Exascale High-Performance Computing - Damaris Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Deformable object manipulation by "photometric shape servoing" Deadline to apply 31/05/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc in formal verification Deadline to apply 26/07/2024
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 EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...