<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>The DemTech project at the IT University of Copenhagen funded by the Danish Council for Strategic Research is looking for a postdoctoral researcher on the topic of rigorous software engineering. DemTech is concerned with the technical challenges and societal implications of using information technology in elections.</div><div><br></div><div>The successful applicant will have completed a PhD in computer science with emphasis on formal methods, software engineering or related topics such as programming languages and distributed systems. He or she will work on topics related to:</div><div><br></div><div>Design and verification of concurrent and cryptographic systems; </div><div>Programming language based security, including semantic security and functional programming; </div><div>Program verification including logical methods, type theory and dependent types; </div><div>Application of verification technology to standard programming and scripting languages, including java, javascript, python and php.</div><div><br></div><div>Early expressions of interest are encouraged: Please contact Carsten Schuermann (<a href="mailto:carsten@itu.dk">carsten@itu.dk</a>), Nicolas Guenot (<a href="mailto:ngue@itu.dk">ngue@itu.dk</a>), Nicolas Pouillard (<a href="mailto:npou@itu.dk">npou@itu.dk</a>) or Lorena Ronquillo (<a href="mailto:lron@itu.dk">lron@itu.dk</a>). The position is initially for one year, but renewable to up to two years. </div><div><br></div><div>For more information, please visit the DemTech webpage at <a href="http://www.demtech.dk">http://www.demtech.dk</a></div><div><br></div><div>Deadline: <b>January 31, 2014</b></div><div><br></div><div>To apply, please visit</div><div><a href="https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=159208&departmentId=3439&MediaId=5">https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=159208&departmentId=3439&MediaId=5</a></div><div><br></div><div>Best regards,</div><div>- Carsten</div></body></html>