Postdoctoral Positions in Human-Computer Interaction, Verification, and Human-Centered AI 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...

Aarhus University is recruiting a three-year postdoctoral research fellow in Human-Centered AI for Data Visualization within the Center for Anytime Anywhere Analytics (CA3) , led by Professor Niklas Elmqvist in the Department of Computer Science. The position sits at the intersection of data visualization , human-centered AI , human-computer interaction , visual analytics , and related XR topics. The research focus is on making visual analytics more reliable and accessible by integrating AI and ...

PhD opportunity in Human-AI Interaction for Generative User Interfaces (GenUI) at Aarhus University , Denmark, within the Computer Science programme at the Graduate School of Natural Sciences. The project is part of the NordForsk-funded RAID (Responsible AI in Interaction Design Practice) initiative and focuses on the emerging paradigm of Generative User Interfaces (GenUI) —interfaces that are partially or fully generated using AI to fit users’ needs, skills, circumstances, or preferences. The r...

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