Job opportunities Master internship on Generative AI (LLMs) for Detecting Abnormal Behavior Through Execution Trace Analysis Deadline to apply 03/06/2024
Job opportunities PhD Position F/M Generation of metabolomic-informed models of metabolism in complex microbial communities Deadline to apply 30/06/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 Algebraic structures in dependent types theory Deadline to apply 25/06/2024
Job opportunities Post-Doctoral Research Visit F/M Algorithmic problems in quantum information Deadline to apply 26/05/2024
Job opportunities Post-Doctoral Research Visit F/M [Post-docs DRI, Inria - Univ. Waterloo] Computational real algebraic geometry and applications in robotics Deadline to apply 03/06/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
Job opportunities PhD Position F/M Mathematical models for retinal physiology and pathology [welcome package] Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Automatic differentiation and control Deadline to apply 16/06/2024
Job opportunities Post-Doctoral Research Visit F/M [POSTDOC2024-PREMEDICAL] Broadening the use of bilevel optimization in machine learning Deadline to apply 26/06/2024
Job opportunities Compositional Methods for Utility under Local Privacy Mechanisms Deadline to apply 31/10/2024
Exploratory action AoT.js AoT.js: Optimizing Compilation from Higher-Order Programming to Computer Architecture According to the 2022 GitHub statistics, the two most used programming languages are JavaScript...
Exploratory action BARD(E) Bacterial Antibiotic Resistance Diagnostics (Enhanced) Antibiotic resistance is a major public health threat, and clinicians are increasingly confronted...
Exploratory action CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...
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...