[TYPES/announce] 2 PhD Positions in Computer Security - Univ. Luxembourg.

Gabriele LENZINI Gabriele.Lenzini at uni.lu
Fri Sep 14 17:20:45 EDT 2012

****2 Ph.D. Positions in Computer Security****

The University of Luxembourg has two open Ph.D. positions 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
(http://satoss.uni.lu/) and of the ApSIA (http://apsia.gforge.uni.lu/)
research groups.

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:
Both Ph.D. students 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, written in English, should be submitted electronically
via the University of Luxembourg's recruitment portal

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
* A short description of your Master's work (max 1 page)
* Contact information for at least one referee

Deadline for applications:
October 15th, 2012

For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu),
Prof. Dr. Peter Ryan (peter.ryan at uni.lu),
Dr. Barbara Kordy (barbara.kordy at uni.lu), or
Dr. Gabriele Lenzini (gabriele.lenzini at uni.lu)

Dr. G. Lenzini
Interdisciplinary Centre for Security, Reliability and Trust (SnT)
University of Luxembourg
4 rue Alphonse Weicker 
L-2721 Luxembourg-Kirchberg
T.: +352 466 644 5778   - F.: +352 466644 5669 
Gabriele.Lenzini at Uni.Lu

More information about the Types-announce mailing list