Logic List Mailing Archive

Two PhD student positions in formal frameworks for computer security, Luxembourg (Luxembourg), Deadline: 15 Oct 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. These positions are 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/2oj3

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:
--------------------------
October 15th, 2012

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