Post-Doc positions
Runtime Verification for Critical Machine Learning Applications
Behavioral ethics for algorithmic decision making
From Machine Learning to Knowledge Compilation and back
Modeling shift from efficient to efficient to inefficient divided attention using EEG/fMRI/MEG
Implementation of neroadaptive technology to optimize humanS-machineS teaming.
Pushing the computational frontiers of reasoning with logic, probabilities and preferences
PhD positions
Optimisation dynamique de la mobilité du passager multi-modal
Certified programming framework for machine learning applications
Artificial Intelligence for Ecosystem Monitoring using Remote Sensing and Digital Agriculture Data