The University of Luxembourg seeks to hire an outstanding doctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT).
The successful candidate will participate in the activities of the SaToSS research group led by Prof. Dr. Sjouke Mauw. The SaToSS group is working on formalizing 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. For further information you may consult our web site.
The position is within the national project Attack-Defense Trees: Theory Meets Practice (ADT2P). ADT2P is a follow-up project of a recently finalized project Attack Trees. The main tasks of the Ph.D. student will be to
The candidate is expected to have:
The University offers a three year appointment (extension up to 4 years in total is possible). The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a newly created research centre.
Applications should be submitted electronically via the on-line recruitment portal of the University of Luxembourg at http://emea3.mrted.ly/dehl
Deadline for applications: June 22, 2014. The position will remain open until filled.