[Agda] Postdoctoral Researcher at DemTech/IT University of
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;
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda