<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><span class="Apple-style-span" style="font-size: large; ">Apologies for reposting: The c</span><span class="Apple-style-span" style="font-size: large; ">orrect application deadline is</span><span class="Apple-style-span" style="font-size: large; "><b> 23. July 2012.</b></span></div><div><span class="Apple-style-span" style="font-size: large; "><br></span></div><div><font class="Apple-style-span" size="4">Best regards,</font></div><div><font class="Apple-style-span" size="4">-- Carsten Schuermann</font></div><div><br class="Apple-interchange-newline"><div 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. 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. </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. The research will be conducted under the supervision of Profs. Joseph Kiniry and Carsten Schürmann. A successful applicant will be hired initially for one year with the option to renew. The start date is flexible. 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 <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 ( <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 <strong> July 23, 2012</strong>. 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&DepartmentId=5237&MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=116151&DepartmentId=5237&MediaId=5</a></span></p><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; "> 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; "> </div></div></div><br></body></html>