Postdoctoral Research positions

The University of Luxembourg offer the following 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.

Postdoctoral researcher in NLP and Linguistics

This position is for a postdoctoral researcher who will contribute to the project “Spin and Bias in Language Analyzed in News and Text (SLANT)” which is jointly funded by the Fonds National de la Recherche (FNR) Luxembourg and Agence National de la Recherche (ANR) France, and will be carried out in collaboration with researchers at the University of Toulouse and INRIA Lille, France. The aim of the project is to characterize bias in textual data and automatically detect such bias using tools and techniques from NLP, Machine Learning, Linguistics, Logic and Game Theory.

Apply online here

Postdoctoral researcher in Security and Trust

This position is for a postdoctoral researcher interested in conducting research in the topics of time and space sensitive protocols, their verification and authentication, and exploring novel, related research problems. Applicants should have research experience in the design and analysis of security protocols.

Apply online here

Open Applications

The SaToSS group is always looking for excellent candidates with an interest in our active research fields, including secure voting and the application of formal methods to space systems. 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