<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; "><div>PhD Positions on Trustworthy Electronic Elections</div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; "><br></span></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; ">(for more information see <a href="http://www.demtech.dk/" target="_blank" style="color: rgb(42, 93, 176); ">http://www.demtech.dk/</a>)</span></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; "><br></span></div>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; font-family: arial, sans-serif; font-size: 13px; "> 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><div><font class="Apple-style-span" face="arial, sans-serif" size="3"><span class="Apple-style-span" style="border-collapse: collapse; font-size: 13px;">evaluate technology form a societal point of view. </span></font></div><div><div><div><div><div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; "><br></span></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; ">Applicants should have a strong background and interest in some combination of the following areas in computer science: </span><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; ">cryptography, concurrency, epistemic logics, formal methods, information security, modal logics, operational semantics, programming languages, proof assistants, logical frameworks, requirement engineering, rewriting theory, security protocol design, software engineering, theorem proving, type theory and social science: </span><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; ">democracy and science, democratic governance, ethnographic studies and ethnography of technologies, genealogy of democracy and technology, political technologies, public understanding of science, trust in information, science and technology studies (STS).</span></div><div><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; "><br></span></div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; ">To apply, please visit the project homepage </span><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; "> </span><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; "><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="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; ">Early expressions of interest are encouraged:</span><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; "> </span><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; ">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></div><div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; border-collapse: collapse; font-size: 13px; "><br>Best regards,</span></div></div></div><div><font class="Apple-style-span" face="arial, sans-serif" size="3"><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>