Application Route
Online recruitment portal. Direct application route: https://werkenbij.vu.nl/vacatures/phd-position-in-formal-methods-for-concurrent-cryptographic-protocols-amsterdam-1288339/solliciteerVrije Universiteit Amsterdam
Back to phd positions
Official source checkedOpen
Doctoral researcher
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
Vrije Universiteit Amsterdam
Four-year doctoral research position developing formal reasoning principles for concurrent cryptographic protocols, with dissemination through conferences and research visits and limited teaching support.
The current cycle is confirmed, the official application route is active and a closing date is recorded.
Source review was due 11/08/2026. Confirm details on the official page.
Employment
Vacancy terms
- Career stage
- Doctoral researcher
- Employment type
- Doctoral researcher
- Contract
- Fixed-term
- Contract ends
- Not stated
- Original contract term
- 4 years; initial 18-month contract, extended to total 4 years if sufficient perspective
- Schedule
- Full-time
- Workplace
- On-site
- FTE
- Not stated
- Salary
- €3,059 gross per month in year 1, increasing to €3,881 gross per month in year 4.
- Department or school
- Department of Computer Science
- Posted
- 11 Jun 2026
Role
Responsibilities
- Develop formal reasoning principles for concurrent cryptographic protocols
- Disseminate results through conferences and research visits
- Perform light supervision of Bachelor or Master students
- Support courses as teaching assistant for no more than two periods per year
Candidate profile
Qualifications and requirements
Qualifications
- Master’s degree in computer science, mathematics, or a related subject.
- Good communication skills in English.
Requirements
- Experience with functional programming such as Haskell or proof assistants such as Rocq, Agda or Lean.
Preferred qualifications
- Experience with cryptography, security or concurrent programming.
Employment conditions
- Full-time employment
- Initial 18-month contract
- Extension to a total of four years subject to sufficient perspective
Employment package
Benefits
- €3,059 gross per month in year 1, increasing to €3,881 gross per month in year 4.
- 232 annual leave hours for a 38-hour full-time week
- 8% holiday allowance
- 3% end-of-year bonus
- ABP pension
- Personalised benefits model
- Commuting contribution
- 4 years; initial 18-month contract, extended to total 4 years if sufficient perspective
- Full-time
- Fixed-term
Application
Documents and steps
Documents
- Contact information for two referees
- Curriculum vitae
Steps
Open the separate VU application page
Upload curriculum vitae
Provide contact information for two referees
Submit before 30 October 2026
Official evidence
Why this vacancy is published
This vacancy was checked against the university's official careers system.
Closing State
Closing date: 30-10-2026.Vrije Universiteit Amsterdam
Eligibility
Master’s degree in computer science, mathematics, or a related subject.; Experience with functional programming such as Haskell or proof assistants such as Rocq, Agda or Lean.; Good communication skills in English.Vrije Universiteit Amsterdam
Employment Terms
€3,059 gross per month in year 1, increasing to €3,881 gross per month in year 4.Vrije Universiteit Amsterdam
Funding
€3,059 gross per month in year 1, increasing to €3,881 gross per month in year 4.Vrije Universiteit Amsterdam
Identity
PhD Position in Formal Methods for Concurrent Cryptographic Protocols; portal job ID 1288339; vacancy/reference 1288339.Vrije Universiteit Amsterdam
Location
Amsterdam, Netherlands; Full-time; FTE 1.0 to 1.0.Vrije Universiteit Amsterdam
Change history
Published revision history
Historical revisions are loaded only when you ask for them, which keeps normal page views lightweight.
Programme continuity
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
Use the enduring programme page to check for a verified newer cycle. A closed vacancy never implies that another round is open.
Programme overview and cycle history