PhD Position in Concurrent Cryptographic Protocols at Vrije Universiteit Amsterdam, Netherlands
📋 About This Opportunity
Summary Vrije Universiteit Amsterdam (VU) is offering a PhD position focused on developing and applying formal methods to systematically describe and reason about the security of concurrent cryptographic protocols. This research aims to contribute to a more secure digital society by establishing robust principles for This opportunity was collected by Gabeshana from ResearchersJob. Organization: ResearchersJob. Please visit the original source for complete eligibility requirements, official notification, application instructions and the latest information.
🎯 Eligibility
/QualificationA Master’s degree in Computer Science, Mathematics, or a closely related field.Experience with functional programming (e.g., Haskell) or proof assistants (e.g., Coq, Agda, Lean).Good communication skills in English.Optional but beneficial: Experience with cryptography, security, or concurrent programming.Vrije Universiteit Amsterdam encourages applicants from diverse backgrounds and experiences, recognizing that not all requirements may be met by every candidate.Scholarship DescriptionThis PhD position involves carrying out research towards developing formal reasoning principles for concurrent cryptographic protocols. The successful candidate will also be expected to dissemin