PhD Positions in Computer Science (Formal Methods)
Univ Southern Denmark · Odense M, Denmark
Don’t apply blind. See how your CV matches this role first — free, in 30 seconds.
You will continue to the employer’s original posting.
- Company
- Univ Southern Denmark
- Location
- Odense M, Denmark
- Posted
- June 12, 2026
About this job
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications for 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic, programming languages, and security. The targeted starting period is late autumn 2026, with room for flexibility. The application requirements are detailed at the end of this advertisement. About FORM FORM pursues the formalisation of computing in an open access, universal repository.…
This is a short summary. Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.
See if your CV fits this job
Paste your CV for an instant match score against this role — and get a tailored cover letter in one click.
- Instant match score for this role
- Tailored cover letter in one click
- Free — no credit card