Differences

This shows you the differences between two versions of the page.

--- phd [2025/05/26 14:34]
goubault [Specific PhD announcements for 2024-25]
+++ phd [2025/05/26 18:25] (current)
goubault [Specific PhD announcements for 2024-25]
@@ Line 71: / Line 71: @@
   * [[https://charlie.jacomme.fr/positions/proposals/thesis-e-voting.pdf|Formal verification of e-voting protocols in a post quantum world]].  Advisors: [[mailto:veronique.cortier@inria.fr|Véronique Cortier]], [[mailto:charlie.jacomme@inria.fr|Charlie Jacomme]], team PESTO, LORIA, Nancy.
   * [[https://charlie.jacomme.fr/positions/proposals/thesis-secure-messaging.pdf|Formal verification of post-quantum secure messaging]].  Advisors: [[mailto:charlie.jacomme@inria.fr|Charlie Jacomme]], [[mailto:steve.kremer@inria.fr|Steve Kremer]], team PESTO, LORIA, Nancy.
+  * [[https://fmap.unige.ch/|Phd position in formal proofs and distributed algorithms]].  Advisor: Karine Altisen, University of Geneva.

WikiMPRI