<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 the DemTech project, a larger effort to prove that it is possible to modernize the democratic process without losing the trust of the voters. &nbsp;We plan to use 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, but the position cannot be filled before 1 July, 2011.&nbsp;Candidates are also encouraged to explore research ideas beyond the project description. The positions provide significant opportunities for professional development.</p><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">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:</p><ul style="color: rgb(64, 88, 99); margin-top: 1em; margin-right: 0px; margin-bottom: 1em; margin-left: 2em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; font-family: Arial, Helvetica, sans-serif; font-size: 12px; 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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">applied formal methods</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">cryptography</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">electronic voting systems&nbsp;<strong>(of primary importance)</strong></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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">rigorous software engineering</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">trust and trustworthiness</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">logic and semantics</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">logical frameworks and type theory</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">proof theory and higher-order theorem proving</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; background-image: url(http://www.demtech.dk/templates/oceana/images/PostBullets.png); background-repeat: no-repeat no-repeat; ">program verification</li></ul><p style="font-family: Arial, Helvetica, sans-serif; font-size: 14px; ">Early expressions 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>).</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&nbsp;<a href="https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=88568&amp;DepartmentId=3439&amp;MediaId=5" style="font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: rgb(53, 108, 121); ">Post doc in Computer Science</a>&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;&nbsp;</div></body></html>