International Association
for Cryptologic Research

The University of Luxembourg seeks to hire an outstanding post-doctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). The successful candidate will participate in the activities of the Security and Trust of Software Systems (SaToSS) research group led by Prof. Dr. Sjouke Mauw. The SaToSS group is working on formalising and applying formal reasoning to real-world security problems and trust issues. The research topics of the group include: security protocols, security modeling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc.

The university offers a one year employment that may be extended up to five years. The successful candidates will be working in an exciting, international and multicultural environment. The university offers highly competitive salaries and is an equal opportunity employer.

We welcome applications from candidates who have completed a Ph. D. degree in Mathematics or Computer Science by March, 2016. Preference will be given to applicants with proven interest in security and graph theory.

Applications will be considered on receipt therefore applying before the deadline is encouraged.

For further information and to submit your application please visit:

http://emea3.mrted.ly/ved5

Deadline for applications:

7 Dec, 2015

Closing date for applications: 7 December 2015

Contact: Prof. Dr. Sjouke Mauw (sjouke.mauw (at) uni.lu) or

Dr. Rolando Trujillo Rasua (rolando.trujillo (at) uni.lu)