PhD positions
Computing and data
18 days left
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
AcademicTransfer · Vrije Universiteit Amsterdam, Netherlands
What the advert says
You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research visits, etc.). In addition, you will perform light supervision duties for bachelor and/or master students and...
Extract only. The full description, conditions and application form are on the original page.
The facts
| Level | PhD positions |
|---|---|
| Field | Computer science, Programming, Informatics |
| Institution | AcademicTransfer |
| Where | Vrije Universiteit Amsterdam, Netherlands |
| Funding | Not funded by a EU programme |
| Posted | 12 October 2026 |
| Deadline | 30 October 2026 |
| Listed via | EURAXESS (European Commission) |
Open the original advert
Applications are made on the institution's own page, never here.