Research Associate in Formal Methods for Voting Systems

University of Luxembourg



The University of Luxembourg is a multilingual, international research University.

The Interdisciplinary Centre for Security, Reliability and Trust (SnT) invites applications from PhD holders in the general area of information security. SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the EU H2020 and the European Space Agency.

The Centre is currently expanding its research activities and is seeking highly motivated research associates who wish to pursue research in formal methods for voting systems. 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. We welcome applications from candidates who have completed a Ph.D. degree in computer science or mathematics. Preference will be given to applicants with proven interest in security protocols and their analysis.

For more information on the SaToSS group and SnT please visit: and

Your Role

The candidate will be part of the joint Luxembourg National Research Fund (FNR) and Norwegian RCN project “SURCVS” and will conduct research on the design and evaluation of secure yet usable voting systems. The project will be conducted jointly with the NTNU in Oslo and the research group APSIA at SnT. The candidate’s tasks include the following:

  • Conducting research on the following topics in secure, usable and robust cryptographic voting systems:
    • Automatically verifiable security proofs for real voting systems
    • Symbolic verification techniques for voting systems
    • Cryptographic tools for dealing with humans in voting protocols
    • Exploring quantum-safe algorithms and everlasting privacy in voting systems
  • Coordinating research projects and delivering outputs
  • Collaborating with partners in the SURCVS project
  • Providing guidance to PhD and MSc students
  • Disseminating results through scientific publications

For further information, please contact or

Your Profile

A PhD degree in computer science or mathematics

  • 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

The University offers a fixed-term employment (18 months fixed-term contract, which may be extended up to five years). The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a newly created research 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 area of interest and your motivation
  • A research statement which addresses specifically the topic of the position (max 1 page)
  • A short description of your PhD thesis (max 1 page)
  • Contact information for 3 referees

Deadline for applications: 30/04/2019. Applications will be considered on basis of receipt so an early submission is encouraged; applications submitted within the stated deadline will be given preference.

In your application, please refer to


amsterdam uni

antwerp uni

cambridge uni

florida uni

hamburg uni

harvard uni

hiroshima uni

oslo uni

purdue uni

ryerson uni

shanghai jiao tong uni

stockholm uni