Postdoc Positions in Program Verification and Formal Methods at Aarhus University Aarhus University in Denmark

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

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