Research Associates in Computer Security (M/F) - The University of Luxembourg

The University of Luxembourg seeks to hire two outstanding post-doctoral Research Associates 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.
REF : SnT-RA-STAST-0413
Fixed-term contract 2 years, full-time (40 hrs/week)
Number of Positions : 2
Your Role
The Research Associates 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.
Your Profile
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
We offer
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
Applications, written in English should be sent online and should include :
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
Deadline for applications: June 14th, 2013
Further Information
For further inquiries, please contact:
concerning the position within the ApSIA group: Prof. Dr. Peter Y. A. Ryan (peter.ryan-AT-uni.lu) or Dr. Gabriele Lenzini (Gabriele.lenzini-AT-uni.lu)
concerning the position within the SaToss group: Prof. Dr. Sjouke Mauw (Sjouke.mauw-AT-uni.lu) or Dr. Barbara Kordy (Barbara.kordy-AT-uni.lu)