<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Dear All,</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We are looking for new Assistant, Associate, and Full professors at the Department of Computer Science at Aarhus University, Denmark. We are interested in applicants from many areas, including
<b>Programming Languages, Logic, and Software Security</b>. Please help spread the word among potential applicants. </div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Application deadline is Jan. 5, 2026.</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
See</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://urldefense.com/v3/__https://international.au.dk/about/profile/vacant-positions/job/aarhus-university-is-hiring-assistant-associate-and-full-professors-for-the-department-of-computer-science__;!!IBzWLUs!XG3SA3YPRmSb7xDXFCThMBFkA8UWkRukg4agtONQ-OiKTsTt4yqnNTK8fZoU2QWbft6R5ef45ZpGouEH1tq0f3xU61imJUoO$" data-outlook-id="a78580f9-4387-4776-96d3-93d7767bc987">https://international.au.dk/about/profile/vacant-positions/job/aarhus-university-is-hiring-assistant-associate-and-full-professors-for-the-department-of-computer-science</a></div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
for the full call text.</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Potential applicants are, of course, most welcome to contact me for more information or an informal chat.</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Thanks and best wishes,</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Lars</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="ms-outlook-mobile-signature">
<p style="margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">-- </p>
<p style="margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">Lars Birkedal</p>
<p style="margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">Professor, Villum Investigator</p>
<p style="margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;"><span style="color: rgb(5, 99, 193);"><u><a href="https://urldefense.com/v3/__https://cs.au.dk/*birke/__;fg!!IBzWLUs!XG3SA3YPRmSb7xDXFCThMBFkA8UWkRukg4agtONQ-OiKTsTt4yqnNTK8fZoU2QWbft6R5ef45ZpGouEH1tq0f3xU65Fvbv4B$" data-outlook-id="cbf31e2b-9738-4f2d-917f-17d82524da3d" style="margin-top: 0px; margin-bottom: 0px;">https://cs.au.dk/~birke/</a></u></span></p>
<p style="margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;"> </p>
</div>
</body>
</html>