[DMANET] Ph.D. Position in Information Security at the University of Luxembourg

The University of Luxembourg seeks to hire an outstanding doctoral
researcher at its Interdisciplinary Centre for Security, Reliability
and Trust (http://wwwen.uni.lu/snt) (SnT).

The successful candidate will participate in the activities of the
SaToSS (http://satoss.uni.lu) 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 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
Ph.D. student will be to
- Develop techniques for efficient representation of large-scale
security models,
- Introduce algorithms for quantitative analysis of such models,
- Integrate the developed techniques with existing risk assessment
methods and tools,
- Implement the obtained results in a computer tool,
- Conduct case studies together with the project partners from
industry,
- Co-supervise master students.

Your Profile
----------------
The candidate is expected to have:
- A Master degree in computer science or mathematics,
- A proven interest in security,
- Background in formal methods,
- Excellent written and oral English skills.

We offer
-----------
The University offers a three year appointment (extension up to 4 years
in total is possible). 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 research area of interest and your
motivation,
- Curriculum Vitae (including your contact address, work experience,
list of publications),
- A research statement addressing the topic of the position (max 1
page),
- A short description of your Master work (max 1 page),
- Transcript of grades from all university-level 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/dehl

Deadline for applications: June 22, 2014.

Contact information
-----------------------
For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Rolando Trujillo Rasua (rolando.trujillo@uni.lu)

For more information about this vacancy please check
http://satoss.uni.lu/vacancies/phd2014.php


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