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