2 verification Postdoctoral positions in France

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

Télécom Paris | Palaiseau, le de France | France | 21 days ago

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

Postdoctoral Researcher SAACD Project – Complex Autonomous and Self-Adaptive Defence Systems

IMT MINES ALES | Ales, Languedoc Roussillon | France | 3 months ago

uncertain environment (essentially for the purposes of assisting understanding, verification and validation) of the uncertain environment in which the SAACD Component or the SAACD SoS evolves; (For P2) "AI as