International Association
for Cryptologic Research

The Language-based Security (LBS) group (www.lbs.cs.uni-saarland.de) in the Computer Science Department of Saarland University is looking for postdoctoral researchers in security and privacy. The LBS group is part of the newly established Center for IT-Security, Privacy and Accountability (CISPA). CISPA actively supports collaborations with other research centers worldwide, and offers young researchers an ideal working environment. The close connection of CISPA to the Department of Computer Science, the Max-Planck-Institute (MPI) for Informatics, the MPI for Software Systems, the German Research Center for Artificial Intelligence (DFKI), the Cluster of Excellence on Multimodal Computing and Interaction (MMCI), the Saarbruecken Graduate School of Computer Science, and the Intel Visual Computing Institute (IVCI) is crucial for the success of the location. All of these institutes are in close proximity on the campus.

Topics of particular interest include, but are not limited to:

• language-based security
• cryptographic protocols
• formal methods for security
• web security
• privacy enhancing technologies
• reliability, accountability, and trust

Positions are initially offered for two years with an internationally competitive salary.

Applicants must hold a first degree in Computer Science, Mathematics or a related discipline, and have completed, or be near completion of a PhD degree in Computer Science or a closely related area. We expect successful applicants to have a strong background in one or more of the aforementioned research topics and to maintain an outstanding academic track record. The working and teaching language is English.

Applications should contain a CV, a publication list, a research statement, and the names of at least two references. Please send your applicat