Open Universiteit Postdoctoral Research Fellowship in Automated Software Verification

Two-year postdoctoral fellowship developing automated program verifiers, theorem proving tools, and static analysis algorithms for safety-critical distributed systems.

Official university details ↗Research checked, not sponsored

Application checklist & requirements

These requirements reflect published university guidelines available at the last review. Review official department guidelines before submission.

Academic degree / Prerequisites: PhD in Computer Science, Software Engineering, or Formal Methods
English language proficiency: Fluent academic English
Standardized testing (GRE/GMAT): Not required
Thesis / Research statement: Strong publication record in formal verification, model checking, or static code analysis
Recommendation letters: Three academic referees

How much will it cost? How much funding is available?

Financial support / stipend: CAO Universiteiten Scale 11 (€4,450 – €5,950 gross per month plus 8% holiday and 8.3% bonus)
Application fee: €0
Tuition / joining costs: N/A (Salaried research appointment)

Dates and verification

Application deadline: March 1, 2027
Last source review: 2026-10-15

Official university details ↗Open Universiteit guide ↗Mentorship ↗Ask us — free ↗

Important verification note

Facts reflect official Open University of the Netherlands documentation reviewed 2026-10-15. Admissions, funding allocations, and eligibility thresholds are evaluated by the university.

Reviewed 2026-10-15 · Editorial standards · Report an issue