OpenFieldUTwente PhD in Cybersecurity and Formal Verification
Four-year doctoral position at the Formal Methods and Tools (FMT) group investigating rigorous software verification, quantum-safe cryptography, and safety-critical distributed systems.
Application checklist & requirements
These requirements reflect published university guidelines available at the last review. Review official department guidelines before submission.
- Academic degree / Prerequisites
- Master's degree in Computer Science, Mathematics, or Software Engineering with distinction.
- English language proficiency
- Academic IELTS 6.5 or TOEFL iBT 90.
- Standardized testing (GRE/GMAT)
- Not required.
- Thesis / Research statement
- Familiarity with model checking, automated theorem proving, or cryptographic protocols.
- Recommendation letters
- Two academic referee contacts.
How much will it cost? How much funding is available?
- Financial support / stipend
- Full CAO-NU 4-year salaried contract: €2,770 - €3,539/month plus holiday and year-end bonuses
- Application fee
- €0 application fee
- Tuition / joining costs
- €0 tuition fees.
Dates and verification
- Application deadline
- February 28, 2027 (Departmental recruitment deadline)
- Last source review
- 2026-10-14
Important verification note
Facts reflect official University of Twente documentation reviewed 2026-10-14. Admissions, funding allocations, and eligibility thresholds are evaluated by the university.
Reviewed 2026-10-14 · Editorial standards · Report an issue