Logic List Mailing Archive
Two postdoctoral positions in computer security (logic background required), Luxembourg (Luxembourg), Deadline: 30 May 2013
***********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:
30 May, 2013
For further inquiries please contact:
concerning the position within the ApSIA group:
Prof. Dr. Peter Y. A. Ryan (peter.ryan@uni.lu) or
Dr. Gabriele Lenzini (gabriele.lenzini@uni.lu)
concerning the position within the SaToss group:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Barbara Kordy (barbara.kordy@uni.lu)
--------------------------------------------------------------------
Dr. G. Lenzini - Associate Researcher
Interdisciplinary Centre for Security, Reliability and Trust
University of Luxembourg
---------------------------------------------------------------------
T.: +352 466 644 5778 - F.: +352 466644 5669
Gabriele.Lenzini@Uni.Lu
--------------------------------------------------------------------
4, rue AlphonseWeicker
??-2721Luxembourg
--------------------------------------------------------------------
Non exiguum temporis habemus, sed multum perdidimus (Seneca)