<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>I am searching for a postdoc to join us at Technical University of Denmark (DTU) in the process science lab (<a href="https://dtu-psl.github.io/">https://dtu-psl.github.io/</a>). A succesful candidate has interest and experience in at least one of the following topics:</div><div>- Formal modellling and verification of business processes</div><div>- Elicitation of formal specifications from natural language</div><div>- Applications of declarative specifications (e.g. temporal, modal logics, declarative process models) in the analysis of systems</div><div>- Model checking </div><div>- Algorithmic approaches for refinement, compliance and/or conformance checking.</div><div><br></div><div>We search for a candidate willing to work on an interdisciplinary project involving both computer scientists and legal researchers. The position will run for 1.5 years, with possibilities for extension. The emphasis will be on providing algorithmic approaches for compliance, and some prior experience with NLP and/or Software Engineering may be beneficial, but not requirement. The starting date is to be convened (sooner the better).</div><div><br></div><div><span style="orphans: 2; widows: 2;">Informal enquiries about the role are welcomed, and should be addressed to </span>Hugo A. López at <a href="mailto:hulo@dtu.dk">hulo@dtu.dk</a><span style="orphans: 2; widows: 2;"> </span></div><div><br></div><div>For more information about DTU and the Department of Mathematics and Computer Science, please visit: <a href="https://www.dtu.dk/english/about">https://www.dtu.dk/english/about</a> and <a href="https://www.compute.dtu.dk/about-us">https://www.compute.dtu.dk/about-us</a> </div><div><br></div><div>Best regards, </div><div><br></div><div><br></div><div><table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" width="400" style="color: rgb(0, 0, 0); font-variant-caps: normal; width: 300pt; border-collapse: collapse;"><tbody><tr><td width="50" valign="top" style="width: 37.5pt; padding: 0cm;"><br></td><td width="350" valign="top" style="width: 262.5pt; padding: 0cm;"><table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" width="350" style="width: 262.5pt; border-collapse: collapse;"><tbody><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 14px; font-family: Aptos, sans-serif; line-height: 13.2pt;"><span lang="EN-US" style="font-family: Arial, sans-serif;">Hugo A. López</span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span lang="EN-US" style="font-size: 8.5pt; font-family: Arial, sans-serif;">Associate</span><span style="font-size: 8.5pt; font-family: Arial, sans-serif;"> Professor</span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span style="font-size: 8.5pt; font-family: Arial, sans-serif;"> </span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span style="font-size: 9pt; font-family: Calibri, sans-serif;"><a href="mailto:hulo@dtu.dk" title="mailto:hulo@dtu.dk"><span style="color: rgb(0, 120, 215);">h</span><span lang="EN-US" style="color: rgb(0, 120, 215);">ulo@dtu.dk</span></a></span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span style="font-size: 8.5pt; font-family: Arial, sans-serif;">Richard Petersens Plads</span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span style="font-size: 8.5pt; font-family: Arial, sans-serif;">Building 321</span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span style="font-size: 8.5pt; font-family: Arial, sans-serif;">2800 Kgs. Lyngby</span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr><tr><td width="350" style="width: 262.5pt; padding: 0cm;"><p class="MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif; line-height: 12.75pt;"><span style="font-size: 8.5pt; font-family: Arial, sans-serif;"><a href="https://orbit.dtu.dk/en/persons/hugo-andres-lopez-acosta" title="https://orbit.dtu.dk/en/persons/hugo-andres-lopez-acosta"><span style="color: rgb(0, 120, 215);">https://orbit.dtu.dk/en/persons/hugo-andres-lopez-acosta</span></a></span><span style="font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></span></p></td></tr></tbody></table></td></tr></tbody></table></div></body></html>