<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Helvetica;
panose-1:0 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="en-DK" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black">The Department of Computer Science at Aarhus University, Denmark, offers two PhD positions in the area of Algorithmic Verification. The research topics are focused on the automated
analysis of concurrent systems, as well as algorithmic aspects of static analyses of sequential/concurrent programs. Applicants are expected to have strong analytical skills in Computer Science and a personal drive for research.</span><span style="font-size:12.0pt;font-family:Helvetica;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black">Admission can be on the basis of either a BSc or an MSc degree. Tuition is fully covered, and a generous stipend is provided for the full duration of the PhD.</span><span style="font-size:12.0pt;font-family:Helvetica;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black">Interested applicants are encouraged to contact
</span><span style="font-size:12.0pt;font-family:Helvetica;color:black"><a href="mailto:pavlogiannis@cs.au.dk"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">pavlogiannis@cs.au.dk</span></a></span><span style="font-family:"Arial",sans-serif;color:black">,
enclosing a CV.</span><span style="font-size:12.0pt;font-family:Helvetica;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black">Next deadline: May 1, 2022</span><span style="font-size:12.0pt;font-family:Helvetica;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black">Application website:
</span><span style="font-size:12.0pt;font-family:Helvetica;color:black"><a href="https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/open-calls/february-2022-1/re-advertisement-programming-language-design-analysis-and-verification-1__;!!IBzWLUs!Dq3Uec0Q_haJTyMJrB7LzHBToxXzm15seZ1SV8O7CXSdRdS_zIDyM4qBvG-4SBhJ78vy2L72ZVpj1g$"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">https://phd.nat.au.dk/for-applicants/open-calls/february-2022-1/re-advertisement-programming-language-design-analysis-and-verification-1</span></a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black">Information about our PhD program:
</span><a href="https://urldefense.com/v3/__http://phd.scitech.au.dk/for-applicants/application-guide/__;!!IBzWLUs!Dq3Uec0Q_haJTyMJrB7LzHBToxXzm15seZ1SV8O7CXSdRdS_zIDyM4qBvG-4SBhJ78vy2L4SOp-xUQ$"><span style="font-family:"Arial",sans-serif;color:#1155CC">http://phd.scitech.au.dk/for-applicants/application-guide/</span></a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>