Universiteit van Amsterdam

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

Two PhD student positions in formal frameworks for computer security, Luxembourg (Luxembourg)

The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). We are seeking Ph.D. candidates to participate in the activities of the SaToSS and ApSIA research groups.

The main objective of the Ph.D. project will be to develop a formal framework supporting modeling and analysis of socio-technical components of information systems. We aim to develop strategies and tools to detect and prevent attacks involving human, physical and digital elements. One of the goals is to extend current methodology for security protocol analysis, by taking human behavior and properties of physical objects into account. This goal includes a necessity of defining appropriate adversary models and identifying the security properties relevant in a socio-technical context.

Deadline for applications: October 15, 2012.

For more information, see http://satoss.uni.lu/vacancies/SNT-PhD-STAST-0512.php

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