PhD student position in applying formal reasoning to security problems, Luxembourg (Luxembourg)

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 position is within the national project Attack-Defense Trees: Theory Meets Practice (ADT2P). The candidate is expected to have a Master degree in computer science or mathematics, a proven interest in security, a background in formal methods, and excellent written and oral English skills.

Deadline for applications: June 22, 2014. For more information about this vacancy please check http://satoss.uni.lu/vacancies/phd2014.php or contact: Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu) or Dr. Rolando Trujillo Rasua (rolando.trujillo at uni.lu).