PhD Positions in Computer Science with Emphasis on Formal Methods at the University of Southern Denmark University of Southern Denmark in Denmark

The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU), invites applications for 3-year PhD positions in computer science with a focus on formal methods. The positions are based at SDU's Odense or Vejle campuses and are scheduled to start in late autumn 2026, with flexibility in the exact start date. FORM is dedicated to advancing the formalisation of computing through open access and universal reposit...

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 ...

FORM at the University of Southern Denmark is hiring PhD students and postdocs in formal methods , programming , verification , Lean , and CSLib . The post invites applicants to join the Centre for Formal Methods and Future Computing (FORM) and notes that there are many possible projects available. Candidates may also propose their own research project, making this a flexible opportunity for students and researchers with interests in rigorous software and system reasoning. Research areas: formal...

University of Southern Denmark (SDU), Department of Mathematics and Computer Science (IMADA), is advertising PhD and Postdoc positions in Denmark focused on human factors in cybersecurity and privacy . The openings are with Peter Mayer and his team in Odense, Denmark. The postdoc is a 1-year salaried position in the project Next Generation AI-Assisted Software Teams . The PhD position is described as fully funded and sits at the intersection of human factors, cybersecurity & privacy, formal meth...

Fully funded PhD opportunity in Graph Representation Learning at Aalborg University in Denmark . This post is a repost/shared visibility message rather than a direct recruitment post from the supervisor or hiring PI. The opportunity is relevant to Computer Science , Mathematics , and Information Technology , with a focus on graph-based machine learning and representation learning methods. The LinkedIn post does not include detailed eligibility criteria, stipend amount, tuition coverage, or a dea...