Job opportunities Post-Doctoral Research Visit F/M Control theory methods for epidemiological systems Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Decentralised Market-based Application Orchestration in Fog and IoT Environments Deadline to apply 23/06/2024
Job opportunities PhD Position F/M hybrid aircraft energy management planning Deadline to apply 16/06/2024
Job opportunities PhD Position F/M Certification of automated theorem provers for higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities High performance computing for the study of nanoscale light-matter interactions Deadline to apply 31/12/2024
Exploratory action AEROTouch AErial RObots with the sense of Touch Get ready for a revolution in drone technology! Aerial robots, commonly known as "drones," will be...
Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
Exploratory action Backbone Efficient Symbolic Manipulation for Sparse Systems We seek to explicit, and then exploit, potential structural properties of algebraic systems in order...
Exploratory action CircleD Computational Structural Reuse for Circular Design Circular design aims at expanding the lifespan of industrial products through repair and reuse. But...
Challenge EQIP Engineering for Quantum Information Processors Building a functional quantum computer is one of the grand scientific challenges of the 21st century...
Exploratory action HLI Humanlab Inria The Humanlab Inria (HLI) exploratory action aims to create a model of collaboration between INRIA...
Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
Challenge OmicFinder Biological data indexation The genomic data produced by reading the DNA of cells is enabling crucial advances in medicine...