Logic List Mailing Archive

PhD student position in e-voting systems, Trier (Germany), Deadline: 30 Sep 2012

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.

We offer a creative international environment and the possibility to 
participate in internationally visible research. The salary scale for the 
position is TV-L E13 (100%). The gross income depends on the candidate's 
experience level. At the lowest level it corresponds to approx. 40,000 EUR 
per year.  There are no teaching obligations. The starting date is 
negotiable. 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 successful candidate should have a Master's degree (or should be very 
close to completion thereof) in Computer Science, Mathematics, Information 
Security, or a related field, with a strong background in Theoretical 
Computer Science. Knowledge in program analysis/verification, logic, or 
cryptography is an asset.  Good English skills are expected; knowledge of 
German is not required.

Candidates with severe disabilities will be given priority in case their 
qualification level is the same as that of other applicants.

Applications should include:
* Curriculum Vitae (including your contact address and work experience)
* Cover letter explaining your motivation
* Transcript of all courses and grades for your Bachelor and Master
   program
* A short description of your Master's work (max 1 page)
* Contact details of (at least) one  professor that can
   provide a recommendation for your application.

Please send your application by e-mail to Ralf Kuesters 
(kuesters@uni-trier.de), with relevant documents attached in pdf format. 
The deadline for applications is

September 30th, 2012.

However, late applications will be considered until the position is 
filled.

For further inquiries please contact Ralf Kuesters by phone or email.


   Prof. Dr. Ralf Kuesters
   Universitaet Trier
   FB IV - Informatik
   54286 Trier, Germany
   Email: kuesters@trier.de
   Phone: +49 (0)651 2012852
   http://infsec.uni-trier.de/