Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
Job opportunities Post-Doctoral Research Visit F/M Solving Convex Optimization Problems in Nonlinear Predictive Control Based on Fast Quadratic Optimization Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Signal processing-based on the squared eigenfunctions of the Schrodinger operator. Application to EEG signals Deadline to apply 30/09/2026
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Compositional Methods for Utility under Local Privacy Mechanisms Deadline to apply 31/10/2024
Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
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...
Project-team SODA Computational and mathematical methods to understand health and society with data The soda team does research at the intersection between machine-learning, databases, and...
Job opportunities PhD Position F/M Computer-Assisted Collaborative Design of Transit Maps Deadline to apply 31/08/2024
Job opportunities Post-Doctoral Research Visit F/M Interpretability of persistent homology Deadline to apply 31/05/2024