<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. He or she will work on topics related to:</div>
<div><br>
</div>
<div>Design and verification of concurrent and cryptographic systems; </div>
<div>Programming language based security, including semantic security and functional programming; </div>
<div>Program verification including logical methods, type theory and dependent types; </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. </div>
<div><br>
</div>
<div>For more information, please visit the DemTech webpage at <a href="http://www.demtech.dk">http://www.demtech.dk</a></div>
<div><br>
</div>
<div>Deadline: <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&ProjectId=159208&departmentId=3439&MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=159208&departmentId=3439&MediaId=5</a></div>
<div><br>
</div>
<div>Best regards,</div>
<div>- Carsten</div>
</body>
</html>