<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="border-collapse: collapse; "><font class="Apple-style-span" face="Arial" style="font-size: 13px;">PhD Positions on Trustworthy Electronic Elections</font></div><div style="border-collapse: collapse; "><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;"><font class="Apple-style-span" face="Arial"><br></font></span></div><div style="border-collapse: collapse; "><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;"><font class="Apple-style-span" face="Arial">(for more information see <a href="http://www.demtech.dk/" target="_blank" style="color: rgb(42, 93, 176); ">http://www.demtech.dk/</a>)</font></span></div><div style="border-collapse: collapse; "><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;"><font class="Apple-style-span" face="Arial"><br></font></span></div><font class="Apple-style-span" face="Arial" style="font-size: 13px;"><span class="Apple-style-span" style="border-collapse: collapse; ">The IT University of Copenhagen invites applications for several PhD positions on developing and evaluating trustworthy electronic election technology. With this project, we try to prove that it is possible to modernize the democratic process using information technology without losing the trust of the voters. The PhD positions are concerned with different aspects of this research question, for example, how to design formal</span><span class="Apple-style-span" style="border-collapse: collapse; "> techniques to hold machines accountable for their actions, to run trusted code in untrusted environments, to develop software in a trust-preserving way, and to </span></font><span class="Apple-style-span" style="border-collapse: collapse; font-family: Arial; font-size: 13px; ">evaluate technology form a societal point of view. </span><div><div><div><div><div><div><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;"><font class="Apple-style-span" face="Arial"><br></font></span></div><div><div style="background-color: transparent; "><font class="Apple-style-span" face="Arial" style="font-size: 13px;"><span id="internal-source-marker_0.03835193137638271" style="color: rgb(0, 0, 0); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; ">Applicants should have a strong background in some combination of the following areas in computer science: cryptography, concurrency, epistemic logics, formal methods, modal logics, proof assistants, logical frameworks, requirement engineering, security protocol design, software engineering, theorem proving, type theory. Successful PhD applicants will want work with epistemic logics and logical frameworks, epistemic logics and cryptography, or with formal trust preserving software engineering techniques.</span><br><span style="color: rgb(0, 0, 0); background-color: rgb(0, 255, 0); font-weight: normal; font-style: normal; font-variant: normal; text-decoration: none; vertical-align: baseline; "></span><span class="Apple-style-span" style="white-space: pre-wrap; "><br></span></font></div></div><font class="Apple-style-span" face="Arial" style="font-size: 13px;"><span class="Apple-style-span" style="border-collapse: collapse; ">To apply, please visit the project homepage </span><span class="Apple-style-span" style="border-collapse: collapse; "> </span><span class="Apple-style-span" style="border-collapse: collapse; "><a href="http://www.demtech.dk/" target="_blank" style="color: rgb(42, 93, 176); ">http://www.demtech.dk/</a>. </span><span class="Apple-style-span" style="border-collapse: collapse; ">Early expressions of interest are encouraged:</span><span class="Apple-style-span" style="border-collapse: collapse; "> </span><span class="Apple-style-span" style="border-collapse: collapse; ">Carsten Schuermann (<a href="mailto:carsten@itu.dk">carsten@itu.dk</a>), Joseph Kiniry (<a href="mailto:kiniry@acm.org">kiniry@acm.org</a>), Randi Markussen (<a href="mailto:rmar@itu.dk">rmar@itu.dk</a>), Christopher Gad (<a href="mailto:chga@itu.dk">chga@itu.dk</a>), or nina Boulus (<a href="mailto:nbou@itu.dk">nbou@itu.dk</a>). </span></font></div><div><div><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;"><font class="Apple-style-span" face="Arial"><br>Best regards,</font></span></div></div></div><div><font class="Apple-style-span" face="Arial"><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;">-- Carsten Schuermann and Joseph Kiniry</span></font></div></div></div></div></body></html>