[TYPES/announce] 2 Post-doc Positions in Information Security at the University of Luxembourg

Barbara KORDY barbara.kordy at uni.lu
Mon Dec 9 06:07:37 EST 2013

Two Post-doc Positions in Information Security (M/F) 
The University of Luxembourg seeks to hire two outstanding post-doctoral
researchers at its Interdisciplinary Centre for Security, Reliability
and Trust(http://wwwen.uni.lu/snt) (SnT).

The successful candidates will participate in the activities of the
SaToSS(http://satoss.uni.lu) SaToSS research group led by Prof. Dr.
Sjouke Mauw. The SaToSS group is working on formalizing and applying
formal reasoning to real-world security problems and trust issues. The
research topics of the group include: security protocols, security
modeling, formal methods for security, socio-technical aspects of
security, risk management, privacy, verification, etc. 

Your role
The SaToSS group is currently looking for two post-doctoral researchers.

The first position is within the national project Attack-Defense Trees:
Theory Meets Practice (ADT2P). ADT2P is a follow-up project of a
recently finalized project Attack
Trees(http://satoss.uni.lu/projects/atrees/). The main tasks of the
post-doc hired on this project will be to:
- Devise methods for (semi-)automatic creation of security models from
  attack patterns,
- Develop techniques and algorithms for quantitative analysis of
  large-scale security models,
- Integrate the attack-defense tree formalism with existing risk
  assessment methods,
- Validate the obtained results on realistic case studies conducted
  together with the project partners from industry,
- Co-supervise the Ph.D. student working on the project.

The second position is partially funded by the EU project
Technology-supported Risk Estimation by Predictive Assessment of
Socio-technical Security (TREsPASS)(http://www.trespass-project.eu/).
TREsPASS focuses on modeling and analysis of socio-technical aspects of
security. The tasks of the post-doc selected for this position will be to:
- Contribute to the creation of security models that can capture
  social, technical, and physical aspects,
- Develop techniques for quantitative analysis of these models,
- Introduce methods for sharing and maintenance of socio-technical
  security models,
- Contribute to development of methods and tools for visualization of
In addition to the TREsPASS-related tasks, the post-doc will also
conduct research on selected security topics which are of interest for

Your Profile
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,
- Excellent written and oral English skills.

We offer
The university offers a three year employment that may be extended up to
five years. The University offers highly competitive salaries and is an
equal opportunity employer. You will work in an exciting international
environment and will have the opportunity to participate in the
development of a newly created research center.

Applications should be written in English and include the following
- Cover letter indicating the project you would like to work on (ADT2P
  or TREsPASS) and your motivation,
- Curriculum Vitae (including your contact address, work experience,
  list of publications),
- A one page research statement addressing the topic of the position,
- A short description of your Ph.D. work (max 1 page),
- Transcript of grades from all master courses taken,
- Contact information for 3 referees.

Applications should be submitted electronically via the on-line
recruitment portal of the University of Luxembourg, at

Deadline for applications: January 19, 2014

Contact information
For further inquiries please contact:
Prof. Dr. Sjouke Mauw(sjouke.mauw at uni.lu) or
Dr. Barbara Kordy (barbara.kordy at uni.lu)

For more information about these vacancies please check

Dr. Barbara Kordy
Research Associate
University of Luxembourg, SnT
Campus Kirchberg, room F012
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone:  +352 466 644 5506
Fax:     +352 466 644 5741

More information about the Types-announce mailing list