Postdoc in Algorithmic Verification of Concurrent Systems at Aarhus University Aarhus University in Denmark

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

The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU) is advertising 3-year PhD positions in computer science with a strong emphasis on formal methods . The positions are hosted by the Centre for Formal Methods and Future Computing (FORM) at SDU, with the workplace located at Campus Odense or Vejle . The targeted start is late autumn 2026 , with some flexibility. Research topics mentioned in the call include computational complexity , distributed ...

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

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