3 verification "https:" Postdoctoral research jobs in France

Postdoc : Dynamic and arithmetic aspects of verification M/F

CNRS | Paris 13, le de France | France | about 2 months ago

sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings

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

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

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

IMT Mines Ales | Ales, Languedoc Roussillon | France | about 2 months ago

(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 a component" as a