[TYPES/announce] 2 PostDoc positions in computer security at University of Luxembourg

[Barbara KORDY]

***********2 Post-Doc Positions in Computer Security***********

The University of Luxembourg seeks to hire two outstanding post-doctoral
researchers at its Interdisciplinary Centre for Security, Reliability
and Trust (SnT) (http://wwwen.uni.lu/snt). One of the positions is
within the ApSIA (http://wwwen.uni.lu/snt/research/apsia) research group
led by
Prof. Dr. P.Y. Ryan and the second within the SaToSS research group
(http://satoss.uni.lu/) led by Prof. Dr. Sjouke Mauw.

The post-docs will be working on formalizing and applying formal
reasoning to real-world security problems and trust issues. The
research topics will include: security protocols, security modeling,
formal methods for security, socio-technical aspects of security, risk
management, privacy, verification, etc. The positions will be partially
funded by the national research project STAST: Socio-Technical Analysis
of Security and Trust, which aims to develop strategies and tools to
detect and prevent attacks involving human, physical and digital elements.

The candidates are expected to have:
* A Ph.D. degree in computer science or mathematics
* A proven interest in security
* Strong background in formal methods and logics
* Excellent written and oral English skills

The university offers an initial two year employment that may be
extended up to five years. The successful candidates will be working in
an exciting, international and multicultural environment. The
university offers highly competitive salaries and is an equal
opportunity employer.

Applications should be written in English and include the following
documents:

* Curriculum Vitae (including your contact address, work experience,
  list of publications)
* Cover letter indicating the research area of interest and your
  motivation
* A research statement addressing one or more research topics
  mentioned above (max 1 page)
* Transcript of grades from all master courses taken
* A short description of your Ph.D. work (max 1 page)
* Contact information for 3 referees

Applications should be submitted electronically via the on-line
recruitment portal of the University of Luxembourg, at the following
URL: http://emea3.mrted.ly/67a4

Deadline for applications:
May 30, 2013

For further inquiries please contact:

concerning the position within the ApSIA group:
Prof. Dr. Peter Y. A. Ryan (peter.ryan at uni.lu<mailto:peter.ryan at uni.lu>) or
Dr. Gabriele Lenzini (gabriele.lenzini at uni.lu<mailto:gabriele.lenzini at uni.lu>)

concerning the position within the SaToSS group:
Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu<mailto:sjouke.mauw at uni.lu>) or
Dr. Barbara Kordy (barbara.kordy at uni.lu<mailto:barbara.kordy at uni.lu>)

----------------------------------------
Barbara Kordy
Campus Kirchberg, office F012
Université du Luxembourg, SnT
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone:  +352 466 644 5506
Fax:     +352 466 644 5741



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130517/0f3bed7c/attachment.html>