<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>). DemTech broad mission is about the role technology in democratic processes, and 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. We work actively with and on proof assistants. The folks here at DemTech use Agda, Coq, Twelf,
and Celf. The successful candidate will join an international group consisting of faculty, post-docs, and PhD students. DemTech is working with many governmental institutions around the world. The position runs for three or four years. The application
deadline is </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> October 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&ProjectId=148867&departmentId=3439&MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=148867&departmentId=3439&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>