Job opportunities Post-Doctoral Research Visit F/M Automatic porting of vulnerability-fixing patches using Coccinelle Deadline to apply 31/08/2024
Job opportunities Computer Vision internship: weakly supervised computer vision Deadline to apply 30/06/2024
Job opportunities Program matching and transformation at a massive scale: Coccinelle meets Software Heritage Deadline to apply 18/06/2024
Job opportunities PhD Position F/M Mathematical models for retinal physiology and pathology [welcome package] Deadline to apply 30/06/2024
Project-team DYOGENE Dynamics of Geometric Networks The scientific focus of DYOGENE is on geometric network dynamics arising in communications...
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 CASCADE Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities Cryptography, or the "Science of Secret", aims at protecting digital data during communications, or...
Project-team COMMEDIA Computational mathematics for bio-medical applications The research activity of COMMEDIA focuses on the numerical simulation of bio-fluid flows in the...
Project-team ARAMIS Algorithms, models and methods for images and signals of the human brain Our team is integrated within the Paris Brain Institute (ICM). It is a joint team with CNRS, Inserm...
Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
Project-team KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...