PhD and Postdoc Positions in Human Factors in Cybersecurity, Privacy, Formal Methods, and AI University of Southern Denmark in Denmark

University of Southern Denmark (SDU), Department of Mathematics and Computer Science (IMADA), is advertising Postdoc and PhD openings in human factors in cybersecurity and privacy , with related interests in formal methods and AI . The positions are based in Odense, Denmark and are expected to start in fall/winter 2026 . The postdoc is a 1-year salaried employee position in the project Next Generation AI-Assisted Software Teams . The PhD is a fully funded position in Computer Science at the inte...

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

Postdoctoral position open at Lund University in privacy , applied cryptography , and cybersecurity . This opportunity is suitable for researchers with a strong background or interest in secure systems, cryptographic methods, and privacy-preserving technologies. The post is announced by Debajyoti Das , associated with the Faculty of Engineering at Lund University. The announcement indicates that this is an open postdoc position and invites interested candidates to apply. Research areas: privacy,...

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

University of Southern Denmark (FORM) is hiring PhD students and postdocs to work in Programming Languages and Formal Methods at the Centre for Formal Methods and Future Computing (FORM). The announcement is shared by Stelios Tsampas , Assistant Professor at the University of Southern Denmark. The post highlights research opportunities in a strong computing theory/software area, suitable for candidates interested in language design, verification, program analysis, logic, and related foundations ...