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 OPIS OPtImization for large Scale biomedical data The objective of the OPIS project is to design advanced optimization methods for the analysis and...
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 Bridging the gap between combinatorial proof theory and subatomic proof theory Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Adapting Deep Inference for Induction and Co-Induction Deadline to apply 30/06/2024
Job opportunities Embedded Systems Engineer for Next-Generation IoT Systems Deadline to apply 01/07/2024
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Project-team POEMS Wave propagation: mathematical analysis and simulation The general activity of the team is oriented toward the design, the analysis and the numerical...