Job opportunities PhD Position F/M Campagne doctorant 2024 - Small-time controllability of bilinear partial differential equations via Lie bracket methods Deadline to apply 19/05/2024
Job opportunities PhD Position F/M Algebraic structures in dependent types theory Deadline to apply 25/06/2024
Job opportunities Post-Doctoral Research Visit F/M Design and evaluation of Large-Language Models (LLMs) based conversational agents for fostering curiosity-driven learning in children Deadline to apply 25/05/2024
Job opportunities PhD Position F/M (campagne) Embedded AI: Graph Neural Networks in Lossy Embedded Wireless Networks Deadline to apply 19/05/2024
Job opportunities Post-Doctoral Research Visit F/M Algorithmic problems in quantum information Deadline to apply 26/05/2024
Job opportunities PhD Position F/M [Campagne CORDI-S] - Computational Algebra and Statistical Learning Theory Deadline to apply 19/05/2024
Job opportunities Post-Doctoral Research Visit F/M Probabilistic heterogenous multicore time critical scheduling Deadline to apply 31/07/2024
Job opportunities Post-Doctoral Research Visit F/M Post-Doctorant - Multi-robot formation control for collaborative SLAM Deadline to apply 31/05/2024
Job opportunities PhD Position F/M [Campagne CORDI-S] - Theory and practice of modular implicits: Design, formalization, implementation, and applications Deadline to apply 19/05/2024
Job opportunities PhD Position F/M Mathematical models for retinal physiology and pathology [welcome package] Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Misinformation trajectories: detecting and tracing disinformation across heterogeneous data sources Deadline to apply 31/08/2024
Exploratory action A/D Drugs From analog to digital drugs When it comes to treating mental disorders, the emergence of resistance to medication is a major...
Exploratory action AlaMVic Distilling VMs – A Generative Approach to Virtual Machine Construction Language Virtual Machines (VMs) are pervasive in every laptop, server and smart-phone. Industry...
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 CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...