Submit an internship offer

1. Formal Verification of Liveness in Distributed Systems via Reinforcement Learning
   Ocan Sankur, Florian Faissole (IRISA, Rennes)
   ADVERIF, VCP
2. Cryptographic Simulator Synthesis Using Program Logics
   Adrien Koutsos, Aymeric Fromherz (Inria Paris)
   SECURE, PROGPROOFS
3. Application of formal methods (Model Checking) for verifying Nuclear Power Plant Operating Procedures (possibility PhD CIFRE in 2026)
   Valentin RYCHKOV
   sync,vcp,ctrlverif,adverif
4. Application of formal methods (Model Checking) for verifying Nuclear Power Plant Operating Procedures (possibility PhD CIFRE in 2026)
   Valentin RYCHKOV (EDF R&D Paris-Saclay)
   SYNC,VCP,CTRLVERIF,ADVERIF
5. Decision Procedure for Equivalence Relations
   Pierre Corbineau and Lionel Rieg at Verimag, Grenoble INP - UGA, in Grenoble
   Foundations of Proof Systems, Proof Assistants