Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team MATHRISK Mathematical Risk handling MATHRISK is a joint team between INRIA Paris, Ecole des Ponts ParisTech (CERMICS laboratory) and...
Project-team NERV Systems neuroengineering to model and interface brain networks The NERV Lab is a multidisciplinary research team supported by the French institutions Inria, Inserm...
Project-team SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms The project-team SERENA is concerned with numerical methods for environmental problems. The main...
Project-team WILLOW Embodied computer vision Our research is concerned with representational issues in visual object recognition and scene...
Job opportunities Internship in Web Development – Visualization of a Biological Network Deadline to apply 31/08/2024
Project-team ARAMIS Algorithms, models and methods for images and signals of the human brain Our team is integrated within the Paris Brain Institute (ICM). It is a joint team with CNRS, Inserm...
Project-team COSMIQ Code-based Cryptology, Symmetric Cryptology and Quantum Information The research work within the project-team is mostly devoted to the design and analysis of...
Project-team KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...
Job opportunities PhD Position F/M The role of rapport in human-conversational agent interaction: Modeling conversation to improve task performance in human-agent interaction Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Mathematical models for retinal physiology and pathology [welcome package] Deadline to apply 30/06/2024