Job opportunities Post-Doctoral Research Visit F/M Formal Methods for Quantum Computation Deadline to apply 26/07/2024
Job opportunities Post-Doctoral Research Visit F/M Postdoc position F/M Foundations of resource-efficient large-scale learning Deadline to apply 26/07/2024
Job opportunities Characterization of energy-aware design for battery-less devices Deadline to apply 04/09/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc position in statistical machine learning Deadline to apply 11/08/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc in formal verification Deadline to apply 11/09/2024
Job opportunities PhD Position F/M Multidisciplinary PhD: better understand and improve collaboration among peers Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M conversational agents with interpersonal skills Deadline to apply 30/09/2024
Challenge ALVEARIUM Large Scale Secure and Reliable Peer-to-Peer Cloud Storage Cloud storage is part of our daily lives. Most user data is stored by large service providers, GAFAM...
Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
Exploratory action CircleD Computational Structural Reuse for Circular Design Circular design aims at expanding the lifespan of industrial products through repair and reuse. But...
Exploratory action Discotik Discrete geometry applied to morphomechanics of plant tissues Computational morphomechanics is the study of living tissue morphogenesis through the scope of...
Exploratory action DisEvo Distributed Algorithms on Evolving Data In this project we will devise algorithms and techniques for various fundamental distributed...
Exploratory action E-MOTS Economic Modeling Of Targeting Strategy Social networks lead to strategic behaviour in a world of imperfect information, such as targeting...
Exploratory action Fluidonics Seismic Waves Manipulation through Hydrodynamics Boxes What if water eddies could shield structures against seismic waves? That's the bold idea behind the...
Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...