Needs reviewOpen
Doctoral researcher
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
Vrije Universiteit AmsterdamProvider identity confirmed in the institution registry
Four-year doctoral research position developing formal reasoning principles for concurrent cryptographic protocols, with dissemination through conferences and research visits and limited teaching support.
DestinationAmsterdam, North Holland, NetherlandsResearch roleDoctoral researcherPay€3,059 gross per month in year 1, increasing to €3,881 gross per month in year 4.Apply byOct 30, 2026
Doctoral researcherFixed-termDepartment of Computer Science
Source visited 8 Aug 2026 · Evidence incompleteOfficial source