Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Two postdoctoral positions in computer security (logic background required), Luxembourg (Luxembourg)

The University of Luxembourg seeks to hire two outstanding post-doctoral researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). One of the positions is within the ApSIA research group led by Prof. Dr. P.Y. Ryan and the second within the SaToSS research group 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.

Deadline for applications: 30 May, 2013. For more information, see http://recruitment.uni.lu/en/details.html?nPostingTargetID=2778.

Please note that this newsitem has been archived, and may contain outdated information or links.