Postdoc 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 16, 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 postdoctoral fellowships in computer science with emphasis on the area of formal methods, in connection with topics that include (but are not limited to) computational complexity, distributed systems, human factors, logic, programming languages, or security. The positions can have a duration of up to 4 years. The targeted starting period is late autumn 2026, with room for flexibility. About FORM FORM is a new initiative, created with the ambition to lead the formalisation of key areas of computing in a universal repository of knowledge and tools verified by proof assistants.…
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