Job opportunities PhD Position F/M Robust and Agile Transportation of Cable Suspended-Loads with Multi-Drone Systems Deadline to apply 14/08/2024
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Scalable Translation Validation for High-Performance Computing and Machine Learning Deadline to apply 31/08/2024
Job opportunities PhD Position F/M Misinformation trajectories: detecting and tracing disinformation across heterogeneous data sources Deadline to apply 31/08/2024
Job opportunities PhD Position F/M Formal Modelling and Automated Analysis of Resource Provisioning Languages Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc position in Games for verification Deadline to apply 23/07/2024
Job opportunities Ingénieur de recherche : Analysis of cybersecurity logs in hospital environments Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Decomposition algorithms for solving generation expansion planning problems Deadline to apply 25/06/2024
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 Ayana AI and Remote Sensing on board for the New Space the AYANA AEx is an interdisciplinary project using knowledge in stochastic modeling, image...
Exploratory action Back to the trees Back to the trees Between secular floras and image recognition through artificial intelligence, we plan to use...
Exploratory action BrainGPT Transforming Transformers into Cognitive Language Models In the wake of the emergence of large-scale language models such as ChatGPT, the BrainGPT project is...
Exploratory action CoCoP Couplage Cœur Poumon : aide au monitorage des fonctions cardio-respiratoires en réanimation Summary: In collaboration with the APHP, the project aims to address to the clinical need for a...
Challenge COLaF Corpus and Tools for the Languages of France Through the COLaF project (Corpus et Outils pour les Langues de France, Corpus and Tools for the...