NetherlandsScholarship
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
AcademicTransfer
Deadline
30 October 2026
Description
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...
Sectors
Computer science»ProgrammingComputer science»Informatics
Want to know if this call is right for you?
Sign up free: Bandolo compares the call with your profile, company or professional, and tells you how well it fits.
Sign up free