3 formal-methods "IMT" Postdoctoral positions

Post-Doctoral Candidate SAACD Project - Complex Autonomous and Self-Adaptive Defence Systems

IMT Mines Ales | Ales, Languedoc Roussillon | France | 14 days ago

, etc.). Robust AI (knowledge of methods for quantifying uncertainty in deep learning or formal verification methods applied to deep learning) Embedded AI Reinforcement learning, supervised and

Post-doctoral researcher in energy systems management (Optimization and Artificial Intelligence)

IMT Mines Albi | Albi, Midi Pyrenees | France | 2 months ago

14 Nov 2025 Job Information Organisation/Company IMT Mines Albi Department 81 Research Field Engineering Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Country France

Post-doctoral fellow in AI for Microarchitectural Security - 12 months contract

Télécom Paris | Palaiseau, le de France | France | 3 months ago

-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability