[TYPES/announce] Ph.D. position in computer security at the University of Luxembourg

Basia Kordy basia.kordy at gmail.com
Mon Jun 11 13:09:15 EDT 2012

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

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, 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:
June 30, 2012

For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu) or
Dr. Barbara Kordy (barbara.kordy at uni.lu) or
Dr. Gabriele Lenzini (gabriele.lenzini at 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

More information about the Types-announce mailing list