<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; ">
Dear all,
<div><br>
</div>
<div>I am looking for a PhD student to join the DemTech research project (<a href="http://www.demtech.dk">www.demtech.dk</a>). &nbsp;DemTech broad mission is about the role technology in democratic processes, and &nbsp;we work on topics ranging from software engineering
 and requirements engineering, information security, and program verification, cryptography, but also logic methods, concurrency, and computational social choice. &nbsp;We work actively with and on proof assistants. &nbsp;The folks here at DemTech use Agda, Coq, Twelf,
 and Celf. &nbsp; &nbsp;The successful candidate will join an international group consisting of faculty, post-docs, and PhD students. &nbsp;DemTech is working with many governmental institutions around the world. &nbsp;The position runs for three or four years. &nbsp;The application
 deadline is&nbsp;</div>
<div><br>
</div>
<div><span class="HeadingBody" style="font-size: 14px; text-align: left; font-family: Arial, Helvetica, sans-serif; padding-right: 0px; padding-left: 0px; padding-bottom: 0px; font-weight: bold; background-color: rgb(255, 255, 255); "><span class="Apple-tab-span" style="white-space:pre"></span>13<sup>th</sup>&nbsp;October&nbsp;2013,
 at 23:59 CET</span><span class="Body" style="font-size: 12px; text-align: left; font-family: Arial, Helvetica, sans-serif; padding-right: 0px; padding-left: 0px; padding-bottom: 0px; background-color: rgb(255, 255, 255); "><br>
</span></div>
<div><span class="HeadingBody" style="font-size: 14px; text-align: left; font-family: Arial, Helvetica, sans-serif; padding-right: 0px; padding-left: 0px; padding-bottom: 0px; font-weight: bold; background-color: rgb(255, 255, 255); "><br>
</span></div>
<div style="text-align: left;">Please note that this is a strict deadline. For more information and the place to submit your application to, please visit</div>
<div style="text-align: left;"><br>
</div>
<div style="text-align: left;"><span class="Apple-tab-span" style="white-space: pre; "></span><a href="https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&amp;ProjectId=148867&amp;departmentId=3439&amp;MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&amp;ProjectId=148867&amp;departmentId=3439&amp;MediaId=5</a></div>
<div style="text-align: left;"><br>
</div>
<div style="text-align: left;">I look forward to hearing from you.</div>
<div style="text-align: left;"><br>
</div>
<div style="text-align: left;">Best regards,</div>
<div style="text-align: left;">- Carsten</div>
</body>
</html>