📌 Fellowship_research

PhD Position in Formal Methods for Concurrent Cryptographic Protocols, Vrije Universiteit, Netherlands

Offered by ResearchersJob

📋 About This Opportunity

Summary The Vrije Universiteit Amsterdam (VU) is inviting applications for a PhD position focused on developing formal methods to systematically describe and reason about concurrent cryptographic protocols. This project aims to enhance security evaluation and assurance in cryptographic systems. PhD Position in Formal 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

/Qualification– Master’s degree in Computer Science, Mathematics, or related fields– Experience with functional programming (Haskell) or proof assistants (Rocq, Agda, Lean)– Good communication skills in English– Optional: experience with cryptography, security, or concurrent programmingJob Description– Conduct research on formal reasoning principles for concurrent cryptographic protocols– Participate in knowledge dissemination through conferences and research visits– Supervise bachelor/master students and assist in teaching (max two periods/year)How to Apply Interested candidates should submit their application through the VU’s official portal. Ensure to include your Curric

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