Logic List Mailing Archive

Two postdoctoral positions in information security, Luxembourg (Luxembourg), Deadline: 19 Jan 2014

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
   security.
In addition to the TREsPASS-related tasks, the post-doc will also
conduct research on selected security topics which are of interest for
SaToSS.

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.

Application
-----------------
Applications should be written in English and include the following
documents:
- 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
http://emea3.mrted.ly/a7wf

Deadline for applications: January 19, 2014

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

For more information about these vacancies please check
http://satoss.uni.lu/vacancies/postdocs2014.php

-----------------------------------------------
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