[DMANET] Ph.D. position in computer security at the University of Luxembourg

****Ph.D. Position in Computer Security (Ref: SNT-PhD-STAST-0512)****

The University of Luxembourg has an open Ph.D. position at its
Interdisciplinary Centre for Security, Reliability and Trust (SnT)
(http://wwwen.uni.lu/snt). We are seeking Ph.D. candidates to
participate in the activities of the SaToSS research group
(http://satoss.uni.lu/).

Project description:
----------------------
The main objective of the Ph.D. project is 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.

Research environment:
----------------------
The student will collaborate with the research groups SaToSS (Security
and Trust of Software Systems) led by Prof. Dr. S. Mauw and APSIA
(Applied Security and Information Assurance) led by Prof. Dr. P.Y.A.
Ryan. This position is part of a national research project
"Socio-Technical Analysis of Security and Trust" funded by the
National Research Fund in Luxembourg. The University of Luxembourg
offers a three years appointment (extension up to 4 years in total is
possible) in an international and multicultural environment. The
University is an equal opportunity employer.

Applicant's profile:
--------------------
* MSc in Computer Science or Mathematics
* A proven interest in security
* Strong background in formal methods or logics
* Good written and oral English skills

Start date:
-----------
As soon as possible

Applications:
-------------
Applications, written in English, should be submitted electronically
via the University of Luxembourg's recruitment portal
http://emea3.mrted.ly/1bho

Applications should include:
* Curriculum Vitae (including your contact address, work experience
and list of publications)
* Cover letter explaining your motivation
* Transcript of all courses and grades for your Bachelor and Master
program
* A short description of your Master's work (max 1 page)
* Contact information for at least one referee

Deadline for applications:
--------------------------
June 30, 2012

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


---------------------------------
Best regards,
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/
*
**********************************************************