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.

Amsterdam, North Holland, NetherlandsDepartment of Computer ScienceDoctoral researcher€3,059 gross per month in year 1, increasing to €3,881 gross per month in year 4.

The current cycle is confirmed, the official application route is active and a closing date is recorded.

Evidence incomplete

Source visited 8 Aug 2026 (UTC). A source visit does not establish every employment term or confirm that applications remain open.

Source review was due 11/08/2026. Confirm details on the official page.
Reviewed evidence is not available for: application link, compensation.

Read the source evidence

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

Sources behind this vacancy

The captured excerpts show support for particular claims. Review status and confidence are shown separately from the date the source was visited. Confirm current terms with the employer.

Application Route