Vacancies

Two Postdoctoral Research positions in Security and Privacy

The University of Luxembourg offer the following two competitive postdoctoral research positions in the SaToSS group in the area of formal methods applied to security and privacy.

The university is an equal opportunities employer; we encourage applicants from groups that are in a minority in computer science (notably female candidates). Applications will be considered upon receipt, in order to fill positions as soon as possible.

Please do not hesitate to contact us with further questions.: Dr. Ross Horne or Prof. Dr. Sjouke Mauw.

1. Postdoctoral researcher in Computer Science (Security and Trust)

The ideal candidate for this position would have experience in the analysis of security protocols. Topics are not limited to distance bounding protocols (used to avoid relay attacks), and the verification of privacy properties. This position carries some important administrative duties.

Advert on Euraxes: https://euraxess.ec.europa.eu/jobs/368519
Start: 1 July 2019
Apply online here.

2. Postdoctoral researcher in FNR/RCN project SURCVS on Voting Systems

The position is 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.

Apply online here

Further 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.

Postdoctoral Researchers in Space Informatics (Security and Reliability in Space)

We are hiring postdocs ready to conduct research in the scope of a new interdisciplinary master program in Space Resources at the University of Luxembourg. This is part of the initiative of Luxembourg to strategically place itself in an internationally leading role in the exploration and utilization of space resources. Space system operate under in extreme conditions hence have reliability requirements. Furthermore, as cooperation and competition for space increases, security should also be elevated. The ideal candidate for this position would be able to propose formal methods to improve the security and reliability of space missions.

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.