Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Job opportunities PhD Position F/M Construction de préconditionneurs efficaces pour des problèmes d'imagerie ultrasonore Deadline to apply 30/09/2024
Job opportunities Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Computer-Assisted Collaborative Design of Transit Maps Deadline to apply 31/08/2024
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 Post-Doctoral Research Visit F/M Mobility-aware Edge Computing for 5G Deadline to apply 30/06/2024
Job opportunities Software Engineer "Investigation of potential biomarkers to detect chronic inflammation in Multiple Sclerosis through diffusion MRI" Deadline to apply 30/09/2024
Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team DISCO Dynamical Interconnected Systems: Control and Optimization The goal of the project is to better understand and well formalize the effects of complex...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
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 MERGE Mathematics for Evolution, Reproduction, Growth and Emergence MERGE gathers researchers all working in mathematics - more precisely stochastic processes, Partial...