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 Model placement in inference delivery networks Deadline to apply 30/11/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 Post-Doctoral Research Visit F/M Post-doctoral in the semantics of quantum computation and graphical languages Deadline to apply 30/11/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 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
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 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 MERGE Mathematics for Evolution, Reproduction, Growth and Emergence MERGE gathers researchers all working in mathematics - more precisely stochastic processes, Partial...
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...