Postdoc position in formalizing and applying formal reasoning to security problems, Luxembourg (Luxembourg)

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 SaToSS research group led by Prof. Dr. Sjouke Mauw.

The post-doc will be working on formalizing and applying formal reasoning to real-world security problems and trust issues. The research topics will include: security protocols, security modeling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc. The position will be partially funded by an EU project focusing on socio-technical aspects of security.

Deadline for applications: August 31, 2012. For more information, see http://satoss.uni.lu/vacancies/postdoc2012.php or contact Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu) or Dr. Barbara Kordy (barbara.kordy at uni.lu).