[DMANET] 2 PostDoc positions in computer security at University of Luxembourg

***********2 Post-Doc Positions in Computer Security***********

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.

The candidates are expected to have:
* A Ph.D. degree in computer science or mathematics
* A proven interest in security
* Strong background in formal methods and logics
* Excellent written and oral English skills

The university offers an initial two year employment that may be
extended up to five years. The successful candidates will be working in
an exciting, international and multicultural environment. The
university offers highly competitive salaries and is an equal
opportunity employer.

Applications should be written in English and include the following
documents:

* Curriculum Vitae (including your contact address, work experience,
list of publications)
* Cover letter indicating the research area of interest and your
motivation
* A research statement addressing one or more research topics
mentioned above (max 1 page)
* Transcript of grades from all master courses taken
* A short description of your Ph.D. work (max 1 page)
* Contact information for 3 referees

Applications should be submitted electronically via the on-line
recruitment portal of the University of Luxembourg, at the following
URL: http://emea3.mrted.ly/67a4

Deadline for applications:
May 30, 2013

For further inquiries please contact:

concerning the position within the ApSIA group:
Prof. Dr. Peter Y. A. Ryan (peter.ryan@uni.lu) or
Dr. Gabriele Lenzini (gabriele.lenzini@uni.lu)

concerning the position within the SaToSS group:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Barbara Kordy (barbara.kordy@uni.lu)

------------------------------------------
Barbara Kordy
Campus Kirchberg, room F012
Université du Luxembourg
Interdisciplinary Centre for Security, Reliability and Trust
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone: +352 466 644 5506
Fax: +352 466 644 5741



**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************