📌 Fellowship_research

PhD Position in Formal Methods for Concurrent Cryptographic Protocols at Vrije Universiteit Amsterdam

Offered by ResearchersJob

📋 About This Opportunity

Summary Vrije Universiteit Amsterdam invites applications for a PhD position focused on developing formal methods to systematically describe concurrent cryptographic protocols and reason about their security. This research-intensive role involves contributing to cutting-edge advancements in computer science, 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 related subject.Experience with functional programming (e.g., Haskell) or proof assistants (e.g., Coq, Agda, Lean).Good communication skills in English.Optional: Experience with cryptography, security, or concurrent programming.Vrije Universiteit Amsterdam values diversity and encourages applicants from all backgrounds, even if they do not meet every single requirement, provided they identify with the profile.Scholarship DescriptionThe successful candidate will conduct research focused on developing formal reasoning principles for concurrent cryptographic protocols. Key responsibilities include:Carrying out research tow

Important: Always verify the opportunity details, eligibility requirements and application process from the official source before submitting your application.