PhD student position in e-voting systems, Trier (Germany)

The Chair for Information Security and Cryptography at University of Trier, Germany, offers a full-time PhD position.

The PhD candidate will contribute to the research in the project "Implementation-Level Analysis of E-Voting Systems", which is funded by the German Research Foundation (DFG) and is part of the DFG priority programme "Reliably Secure Software Systems - RS3". The goal of this project is to develop general methods and techniques for the security analysis of Java systems that use cryptography, with e-voting systems being one of the motivating examples. The project combines techniques from program analysis/verification with techniques from cryptography and cryptographic protocol analysis. Subject to the final decision of the DFG, the position will be available from October 1st, 2012. Contracts are initially offered for two years, with the perspective of an extension by another two years.

The deadline for applications is September 30th, 2012. For more information, see http://infsec.uni-trier.de/job-openings/a-full-time-phd-position.html or contact Ralf Kuesters at kuesters at trier.de