<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">The IT University of Copenhagen invites applications for several postdoctoral fellow positions on trustworthy electronic election technology.&nbsp; The positions are part of a larger effort to prove that it is possible to modernize the democratic process without losing the trust of the voters. &nbsp;</p><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">We are looking for experts in epistemic logical framework technology and cryptographic methods, such as full homomorphic encryption.&nbsp; The research will be conducted under the supervision of Profs. Joseph Kiniry and Carsten Schürmann. &nbsp;&nbsp;A successful applicant will be hired initially for one year with the option to renew.&nbsp; The start date is flexible.&nbsp;Candidates are also encouraged to explore research ideas beyond the project description. The positions provide significant opportunities for professional development.</p><p><font class="Apple-style-span" face="Arial" size="4">Postdoctoral candidates should have a Ph.D. in Computer Science or Mathematics and an established research record in one or more of the following fields:</font></p><ul style="margin-top: 1em; margin-right: 0px; margin-bottom: 1em; margin-left: 2em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; list-style-type: none; "><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">applied formal methods</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">cryptography</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">electronic voting systems&nbsp;<strong>(of primary importance)</strong></font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">rigorous software engineering</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">trust and trustworthiness</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">logic and semantics</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">logical frameworks and type theory</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">proof theory and higher-order theorem proving</font></li><li style="margin-top: 0.2em; margin-right: 0px; margin-bottom: 0.2em; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 12px; line-height: 1.2em; "><font class="Apple-style-span" face="Arial" size="4">program verification</font></li></ul><p><font class="Apple-style-span" face="Arial" size="4">Early expre</font><span class="Apple-style-span" style="font-size: 14px; font-family: Arial, Helvetica, sans-serif; ">ssions of interest are encouraged: Carsten Schuermann (&nbsp;<a href="mailto:carsten@itu.dk" style="font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: rgb(53, 108, 121); ">carsten@itu.dk</a>), Joseph Kiniry (<a href="mailto:kiniry@itu.dk" style="font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: rgb(53, 108, 121); ">kiniry@itu.dk</a>).</span></p><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">The application deadline&nbsp;<strong>May 15. 2011</strong>. &nbsp;Please follow this link</p><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; "><span class="Apple-tab-span" style="white-space:pre">        <a href="https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=116151&amp;DepartmentId=5237&amp;MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=116151&amp;DepartmentId=5237&amp;MediaId=5</a></span></p><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">&nbsp;to file your application.</p><div style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; "><br></div><div style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">Best regards,</div><div style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">-- Carsten Schuermann and Joseph Kiniry</div><div style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">&nbsp;</div></body></html>