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
Radar interference mitigation, optimization based on V2X and AI

Robust human operator monitoring through signal processing and machine learning applied to physiological features: the offer is provide

Certified programming framework for machine learning applications

Artificial Intelligence for Ecosystem Monitoring using Remote Sensing and Digital Agriculture Data

Game theory and artificial intelligence: the offer is provide

Knowledge compilation for incomplete combinatorial optimization techniques

Automated POMDP model learning for driving Human- Robot Interaction: the offer is provide

Compilation de contraintes pour la conception de satellite (Collaboration CIFRE avec Altran) 

Collective Perception, optimization of the V2X frequency channel(s) usage and CP message contents based on A.I (collaboration avec NXP)