Do you combine a strong background in computer science with experience in research-based innovation? Aarhus University is recruiting four Professors and Associate Professors to strengthen innovation and entrepreneurship across the natural sciences - including Computer Science.

Ten years after its publication, the paper Higher-Order Ghost State has received the ICFP 2026 Test of Time Award in recognition of its lasting impact on programming languages research. Professor Lars Birkedal received the award at the ACM SIGPLAN International Conference on Functional Programming (ICFP) 2026.

How can we make sure software really behaves as intended? Meet new Tenure-Track Assistant Professor Alejandro Aguirre, whose research uses mathematical techniques to verify software and strengthen privacy and security.

For nearly two decades, Clemens has explored a simple but powerful question: How can technology adapt to people, instead of forcing people to adapt to technology? His research in Human-Computer Interaction spans user-programmable software, computational media and, more recently, AI-assisted interaction design. Throughout it all, one ambition has…

This week, 34 master’s and PhD students from around the world have come to Aarhus to participate in our Summer School in Programming Languages, Logic and Software Security, organised by Associate Professor Amin Timany, with administrative support from Vibe Falkenhard Røn and Henriette Gammelgaard Farup.

During five intensive days, the participants…