<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div>The DemTech project at the IT University of Copenhagen funded by the Danish Council for Strategic Research is looking for a postdoctoral researcher on the topic of rigorous software engineering. DemTech is concerned with the technical challenges and societal
 implications of using information technology in elections.</div>
<div><br>
</div>
<div>The successful applicant will have completed a PhD in computer science with emphasis on formal methods, software engineering or related topics such as programming languages and distributed systems. &nbsp;He or she will work on topics related to:</div>
<div><br>
</div>
<div>Design and verification of concurrent and cryptographic systems;&nbsp;</div>
<div>Programming language based security, including semantic security and functional programming;&nbsp;</div>
<div>Program verification including logical methods, type theory and dependent types;&nbsp;</div>
<div>Application of verification technology to standard programming and scripting languages, including java, javascript, python and php.</div>
<div><br>
</div>
<div>Early expressions of interest are encouraged: Please contact Carsten Schuermann (<a href="mailto:carsten@itu.dk">carsten@itu.dk</a>), Nicolas Guenot (<a href="mailto:ngue@itu.dk">ngue@itu.dk</a>), Nicolas Pouillard (<a href="mailto:npou@itu.dk">npou@itu.dk</a>)
 or Lorena Ronquillo (<a href="mailto:lron@itu.dk">lron@itu.dk</a>). The position is initially for one year, but renewable to up to two years.&nbsp;</div>
<div><br>
</div>
<div>For more information, please visit the DemTech webpage at&nbsp;<a href="http://www.demtech.dk">http://www.demtech.dk</a></div>
<div><br>
</div>
<div>Deadline:&nbsp;<b>January 31, 2014</b></div>
<div><br>
</div>
<div>To apply, please visit</div>
<div><a href="https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&amp;ProjectId=159208&amp;departmentId=3439&amp;MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&amp;ProjectId=159208&amp;departmentId=3439&amp;MediaId=5</a></div>
<div><br>
</div>
<div>Best regards,</div>
<div>- Carsten</div>
</body>
</html>