Postdoctoral research in Computer Sciences (Security and Trust)

Country: Luxembourg;

City: Luxembourg

Vacancy added: 08.01.2019

Employer: University of Luxembourg

Vacancy type: PostDoc vacancy;

Resumes due: 31.07.2019


The University of Luxembourg is a multilingual, international research university, ranked 12th among the worldwide best universities under 50 years in the Times Higher Education (THE) Ranking 2018.

The University of Luxembourg seeks to hire an outstanding post-doctoral researcher in the Computer Science and Communications (CSC) research unit.

The successful candidate will participate in the activities of the Security and Trust of Software Systems (SaToSS) research group, led by Prof. Dr. Sjouke Mauw. The SaToSS group works on formalising and applying formal reasoning to real-world security problems and trust issues. The research topics of the group include security protocols, security modelling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc.
The emphasis of the position is on the design and verification of security and privacy protocols. Preferably the candidate would be able to build on existing work on distance bounding protocols, used to secure contactless payment cards against relay attacks. The candidate also has the opportunity to engage in a new research direction in Space Informatics in the University of Luxembourg, for example considering protocols relevant to space infrastructure-as-a-service, e.g., protocols for reaching consensus over highly asynchronous lossy channels, such as communication with spacecraft, where divergences between clocks in space and on the ground require careful attention to timing. A third direction the candidate will have the opportunity to engage in is the verification of privacy properties, such the unlinkability of e-passports. The candidate is encouraged to also bring to the table their own ideas relevant to the design and verification of protocols.
We welcome applications from candidates who have completed a Ph.D. degree in Computer Science or Mathematics by May 2018. Preference will be given to applicants with proven interest in security and privacy and their analysis.
For more information on the SaToSS group and SnT please visit: and

The University of Luxembourg is an equal opportunities employer. We encourage applicants that can increase the diversity of our team.

Nature of the position

  • Ref : F1-070022
  • 30 months fixed term contract, full-time 40 hrs/week, extendable up to 3 years.
  • Number of positions: 1
  • Start day: 1 July 2019

Your Role

The successful candidate will join the SaToSS group, led by Prof. Sjouke Mauw. He/she will perform the following tasks:

  • Conducting research in the topics of time and space sensitive protocols, their verification and authentication and exploring novel, related research problems
  • Disseminating results through scientific publications
  • Assisting in teaching and administrative duties
  • Assisting in the direction of PhD and/or MSc students
  • Organising relevant workshops and demonstrations
  • Contributing to fund attraction initiatives

For further information, please contact Dr. Ross Horne ( or Prof. Dr. Sjouke Mauw (

Your Profile

  • A PhD degree in Computer Science or Mathematic
  • Documented research experience in the design and analysis of security protocols
  • A proven interest in security and privacy
  • Commitment, team working and a critical mind
  • Fluent written and verbal communication skills in English are mandatory

We offer

Profile of the Employer

The University is an equal opportunity employer.

The University offers a two and a half years employment contract, which may be extended up to three years.

You will work in an exciting international environment and will have the opportunity to participate in the development of a dynamic and growing centre.

Further Information

Applications, written in English should be submitted online and should include: 

  •  A Curriculum Vitae (including your contact address, work experience, publications)
  • A Cover letter indicating the research areas of interest and your motivation
  • A research statement which addresses specifically the topic of the position (300 words
  • A Transcript of all courses and results from the university-level courses tak
  • A short description of your PhD thesis (max 1 page)
  • Contact information for 3 referees

Deadline for applications: Applications will be considered on basis of receipt, so an early submission is encouraged.

Please apply online by July 2019.

Where to send resume: