1 programming-"https:" "https:" "https:" "https:" PhD positions at Vrije Universiteit Amsterdam (VU)

PhD Position in Formal Methods for Concurrent Cryptographic Protocols

Vrije Universiteit Amsterdam (VU) | Amsterdam, Provincie Noord-Holland | Netherlands | 2 days ago

A master’s degree in computer science, mathematics, or a related subject. Experience with functional programming (e.g., Haskell) or proof assistants (e.g. Rocq, Agda, Lean). Good communication skills