International Association
for Cryptologic Research

The University of Luxembourg seeks to hire two outstanding post-doctoral researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT) (http://wwwen.uni.lu/snt). One of the positions is within the ApSIA http://wwwen.uni.lu/snt/research/apsia) research group led by Prof. Dr. P.Y. Ryan and the second within the SaToSS research group (http://satoss.uni.lu/) led by Prof. Dr. Sjouke Mauw.

The post-docs 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 positions will be partially funded by the national research project STAST: Socio-Technical analysis of Security and Trust, which aims to develop strategies and tools to detect and prevent attacks involving human, physical and digital elements.