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 Post-Doctoral Research Visit F/M Postdoctoral position in Quantum Information Theory Deadline to apply 31/10/2024
Job opportunities PhD Position F/M Vehicle-and-mobile phone computing sharing as part of the edge-to-cloud continuum Deadline to apply 30/08/2024
Job opportunities PhD Position F/M Misinformation trajectories: detecting and tracing disinformation across heterogeneous data sources Deadline to apply 31/08/2024
Job opportunities PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Distributed Voronoi diagrams for large-scale optimal transport Deadline to apply 30/09/2024
Job opportunities Data analysis for microscopy experiments with ring-shape “mother machine� microfluidic chips Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Categorical analysis of NISQ Quantum Computation Deadline to apply 26/07/2024
Job opportunities Post-Doctoral Research Visit F/M Event detection for Large-Scale Physical Simulations Deadline to apply 31/08/2024
Job opportunities Post-Doctoral Research Visit F/M Sensitivity analysis for the repressilator gene circuit Deadline to apply 31/10/2024
Job opportunities Post-Doctoral Research Visit F/M Individual-based modeling of coupled single-cell and population processes Deadline to apply 31/10/2024
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...