Project-team ANGE Numerical Analysis, Geophysics and Environment The research activities carried out within the ANGE team strongly couple the development of...
Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team COSMIQ Code-based Cryptology, Symmetric Cryptology and Quantum Information The research work within the project-team is mostly devoted to the design and analysis of...
Project-team KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...
Job opportunities Post-Doctoral Research Visit F/M Reduced models for cardiac valve dynamics [DRI post-docs call 2024] Deadline to apply 31/07/2024
Job opportunities PhD Position F/M Neural Linear Solvers and Preconditioners for General Sparse Matrices Deadline to apply 30/06/2024
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
Project-team DYOGENE Dynamics of Geometric Networks The scientific focus of DYOGENE is on geometric network dynamics arising in communications...
Project-team HEKA Health data- and model- driven approaches for Knowledge Acquisition HeKA is a common project-team of Inria, Inserm and Université Paris Cité. HeKA is jointly affiliated...
Project-team MOKAPLAN Advances in Numerical Calculus of Variations The last two decades have witnessed a remarkable convergence between several sub-domains of the...