[Agda] Postdoctoral Researcher at DemTech/IT University of Copenhagen

Carsten Schürmann carsten at demtech.dk
Fri Dec 20 07:18:48 CET 2013

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.

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:

Design and verification of concurrent and cryptographic systems; 
Programming language based security, including semantic security and functional programming; 
Program verification including logical methods, type theory and dependent types; 
Application of verification technology to standard programming and scripting languages, including java, javascript, python and php.

Early expressions of interest are encouraged: Please contact Carsten Schuermann (carsten at itu.dk), Nicolas Guenot (ngue at itu.dk), Nicolas Pouillard (npou at itu.dk) or Lorena Ronquillo (lron at itu.dk). The position is initially for one year, but renewable to up to two years. 

For more information, please visit the DemTech webpage at http://www.demtech.dk

Deadline: January 31, 2014

To apply, please visit

Best regards,
- Carsten
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131220/45dec73b/attachment-0001.html

More information about the Agda mailing list