Logic List Mailing Archive

Postdoc position in formalizing and applying formal reasoning to security problems, Luxembourg (Luxembourg), Deadline: 31 Aug 2012

***********Post-Doc Position in Computer Security***********

The University of Luxembourg seeks to hire an outstanding post-doctoral
researcher at its Interdisciplinary Centre for Security, Reliability
and Trust (SnT) (http://wwwen.uni.lu/snt). The successful candidate
will participate in the activities of the SaToSS research group
(http://satoss.uni.lu/) led by Prof. Dr. Sjouke Mauw.

The post-doc 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 position will be partially
funded by an EU project focusing on socio-technical aspects of
security.

The candidate is 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 candidate 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 University of
Luxembourg's recruitment portal http://emea3.mrted.ly/1h9r

Deadline for applications:
August 31, 2012

For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Barbara Kordy (barbara.kordy@uni.lu)