Vacancies

Four Postdoctoral Research positions in Security, Reliability, Space Resources and Electronic Voting

The University of Luxembourg offer the following four competitive postdoctoral research positions. The positions are suitable for experienced researchers, who are ready to think out of the box to tackle fresh problems.

Please find descriptions below. Two should be interpreted broadly 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. The third is in the more general area of security. The fourth is in a project on e-voting.

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 Space Informatics (Security and Reliability in Space)

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.

Advert on Euraxes: https://euraxess.ec.europa.eu/jobs/368543
Start: a.s.a.p.
Apply online here.

2. Postdoctoral Researcher in Space Informatics (Computer Science / Robotics / Telecommunications)

This broader position, also under the Space Resources program seeks a candidate familiar with techniques relevant to the engineering of space systems. Techniques are not limited to techniques for testing, fault-tollerant protocols, coding theory, artificial intelligence, control systems, data management, virtualisation, requirements engineering, runtime monitoring, fault-tollerant hardware. The ideal candidate should take a broad outlook on the problem of how understanding techniques from their area of expertise (computer science, robotics or telecommunications) can contribute to the design of a successful space mission.

Advert on Euraxes: https://euraxess.ec.europa.eu/jobs/368537
Start: a.s.a.p.
Apply online here.

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

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

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.