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 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...
Project-team SIMSMART SIMulating Stochastic Models with pARTicles Simsmart is a computational probability and statistics research team, dedicated to the study of...
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 Algebraic structures in dependent types theory Deadline to apply 25/06/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc position in Games for verification Deadline to apply 23/07/2024
©Unsplash / Sixième Rêve Environment and planet An innovative platform to improve the observation of natural environments 10/04/2024
© Inria / Christophe Droz - équipe I4S Transport A new concept in acoustic insulation for transport 18/04/2024
© Damian / Pixabay Cybersecurity Improving the security of processors against cyberattacks 27/02/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024