Job opportunities PhD Position F/M Dynamic in situ and in transit data analysis for Exascale Computing using Damaris Deadline to apply 20/07/2024
Job opportunities PhD Position F/M Sensors-based Distributed Control of Multi-Drone Systems for Agile Cooperative Aerial Manipulation Deadline to apply 15/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 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 MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation The MimeTIC research team focuses on designing methods for anlayzing human motion in ecological...
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 Decentralised Market-based Application Orchestration in Fog and IoT Environments Deadline to apply 23/06/2024
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 EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
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 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 PACAP Pushing Architecture and Compilation for Application Performance In brief, the long-term goal of the PACAP project-team is about performance of computing systems...
Project-team MINGUS MultI-scale Numerical Geometric Schemes The research group MINGuS focuses on the mathematical and numerical analysis of partial differential...
Project-team RAINBOW Sensor-based Robotics and Human Interaction The long-term vision of the Rainbow team is to develop the next generation of sensor-based robots...