University of Southern Denmark
Just added
1 day ago
PhD and Postdoc Positions in Formal Methods, Programming Languages, and Distributed Systems University of Southern Denmark in Denmark
Degree Level
PhD, Postdoc
Field of study
Computer Science
Funding
Full funding availableDeadline
Aug 16, 2026
Country
Denmark
University
University of Southern Denmark
How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
About this position
University of Southern Denmark’s Centre for Formal Methods and Future Computing (FORM) is advertising PhD and Postdoc positions in Denmark.
The research focus is on programming languages, distributed systems, formal methods, and reliable AI-assisted programming. FORM is a new research centre at SDU and collaborates with Lean and other international partners on CSLib.
PhD positions: deadline 2026-08-16 (CEST). PostDoc positions: deadline 2026-08-16 (CEST).
Application pages are provided in the post. Candidates interested in foundations of computer science and formal verification should review the job pages and apply before the deadline.
Funding details
Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.
How to apply
Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.
More information can be found here
Ask ApplyKite AI
How do I apply for this?
Sign in for free to reveal details, requirements, and source links.