Project-team CAMUS Compilation for multi-processor and multi-core architectures The CAMUS team is focusing on developping, adapting and extending automatic parallelizing and...
Project-team CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Project-team PIXEL Structure geometrical shapes PIXEL is a research team in digital geometry processing. More specifically, we are interested in...
Job opportunities PhD Position F/M hybrid aircraft energy management planning Deadline to apply 16/06/2024
Job opportunities Post-Doctoral Research Visit F/M In Quantum Computing Programming Languages Deadline to apply 31/05/2024
Job opportunities PhD Position F/M Security mechanisms for distributed collaborative systems Deadline to apply 31/05/2024
Job opportunities Post-Doctoral Research Visit F/M Accurate detection and modelling of Advanced Persistent Threats in ICS using Machine-Learning techniques Deadline to apply 02/06/2024
Project-team CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
Project-team MIMESIS Computational Anatomy and Simulation for Medicine The main focus of the MIMESIS team is to develop new solutions at the crossroad between imaging...