Job opportunities PhD Position F/M Interoperability of proof systems based on higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities Grid Coloring for Object Sensing and Localization (Master's Internship) Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Mobility-aware Edge Computing for 5G Deadline to apply 30/06/2024
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Signal processing based on the squared eigenfunctions of the Schrodinger operator: Mathematical analysis and application to the identification of Vulnerable Carotid Plaques using CT Scans Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Construction de préconditionneurs efficaces pour des problèmes d'imagerie ultrasonore Deadline to apply 30/09/2024
Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA), a recent field whose aim is to...
Project-team IDEFIX Inversion of Differential Equations For Imaging and physiX The research activity of our team is dedicated to the design, analysis and implementation of...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team RANDOPT Randomized Optimization The RandOpt team at Inria's Saclay - Ile-de-France research center, joint team with the CMAP at...
Project-team SIMBIOTX SImulations in Medicine, BIOtechnology and ToXicology of multicellular systems The overall objective of SIMBIOTX is the implementation of computational models and tools with...