📌 Fellowship_research

PhD Position in Cryptographic Protocols, Vrije Universiteit Amsterdam, Netherlands

Offered by ResearchersJob

📋 About This Opportunity

Summary The Vrije Universiteit Amsterdam is offering a PhD position focused on developing formal reasoning principles for concurrent cryptographic protocols. This research aims to enhance understanding and security within cryptographic frameworks. PhD Position in Formal Methods for Concurrent Cryptographic Protocols, 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

/QualificationMaster’s degree in Computer Science, Mathematics, or a related field; experience in functional programming (Haskell) or proof assistants (Rocq, Agda, Lean) preferred; good communication skills in English. Optional experience in cryptography or security.Job DescriptionConduct research on formal methods for concurrent cryptographic protocols, participate in disseminating results at conferences, and assist in teaching bachelor/master students (maximum two periods per year).How to ApplyInterested candidates should submit their application through the Vrije Universiteit Amsterdam application portal. Applications sent via email will not be considered.Last Date to Apply30th October

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