Vacancies

FNR/SURCVS Voting Systems

The University of Luxembourg/ Centre for Security and Trust is seeking to hire one research associate (postdoc) and one PhD candidate to perform research in formal methods for voting systems. The positions are part of the joint Luxembourg National Research Fund (FNR) and Norwegian RCN project “SURCVS” on the design and evaluation of secure yet usable voting systems. 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 dynamic and growing centre.

Successful candidates will participate in the activities of the Security and Trust of Software Systems (SaToSS) research group led by Prof. Dr. Sjouke Mauw. The group is focused on formalising and applying formal reasoning to real-world security problems and trust issues.

Further information and submission guidelines:

Applications will be considered on basis of receipt so an early submission is encouraged; applications submitted within the stated deadline will be given preference. The deadline for both positions is 15th October, 2018.

Postdoctoral Positions

Distributed Ledger Systems

We are looking for an outstanding post-doctoral researcher for a 1.5 year contract (extensible up to 5 years) in the topic of Distributed Ledger Systems. The particular emphasis of the position would be on the design, study and analysis of systems like blockchain and of cryptocurrencies like bitcoin. 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/experience in the analysis of Distributed Ledger systems or related areas.

Security Protocols and Formal Methods

We are looking for an outstanding post-doctoral researcher for a 2.5 year contract (extensible up to 5 years) in the topic of Security Protocols and Formal Methods. The particular emphasis of the position would be on the design and verification of distance bounding algorithms and authentication techniques. 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 protocols and their analysis.

Open Applications

The SaToSS group is always looking for excellent candidates with an interest in our active research fields. If you would like to work with us, please send your application (containing cover letter describing your interests and goals, a detailed resume, and the names of two referees) to sjouke.mauw@uni.lu.