More jobs:
PhD in Formal Methods Concurrent Crypto Protocols
Job in
1000, Amsterdam, North Holland, Netherlands
Listed on 2026-07-03
Listing for:
Vrije Universisteit
Full Time
position Listed on 2026-07-03
Job specializations:
-
Research/Development
AI Business & Operations
Job Description & How to Apply Below
Vrije Universiteit in Amsterdam is seeking a PhD candidate to research formal reasoning principles in concurrent cryptographic protocols. This role includes attending conferences and supervising bachelor and master students.
The candidate should possess a master's degree in computer science or a related field with experience in functional programming or proof assistants. In return, the university offers a gross monthly salary that increases with tenure, full-time employment, and various benefits.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×