2 formal-semantics PhD positions in France

PhD position M/F in Verification of probabilistic properties for Artificial Intelligence

CNRS | Palaiseau, le de France | France | 3 months ago

. student will be part of the Cosynus team in the “Proofs and Algorithms” pole. The members of the Cosynus team work on the semantics and static analysis of software systems, sequential, concurrent

PhD Position F/M [Campagne Allocation Région 2025] Automatic Generation of Attack Chains for Detecting and Preventing Software Vulnerability (F/M)

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months ago

history and semantics of code changes for the understanding of attacks. Prototypes will be developed in the Pharo language. For a better knowledge of the proposed research subject : A state of the art