1 formal-method-phd "https:" Postdoctoral positions at IMT Mines Ales

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

IMT Mines Ales | Ales, Languedoc Roussillon | France | about 2 months 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