<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. 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. We plan to use 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, but the position cannot be filled before 1 July, 2011. 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 <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 ( <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 <strong>May 15. 2011</strong>. Please follow this link <a href="https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=88568&DepartmentId=3439&MediaId=5" style="font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: rgb(53, 108, 121); ">Post doc in Computer Science</a> 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></body></html>