University of Luxembourg is seeking candidates to fill one PhD studentship in the research area of security, privacy and trust. This studentship will be conducted in the Security and Trust of Software Systems (SaToSS) group, led by Prof Sjouke Mauw, with co-supervision from experienced researchers within the research group. The methodology typically applied in the group is to harness (formal) methods and tools to analyse topical security and trust problems. Methods employed are not limited to various strands of symbolic analysis, concurrency theory, logic, graph theory, and game theory.

Your role

The candidate's tasks include:

The candidate will contribute to the FNR CORE project "Give control back to users: personalised privacy-preserving data aggregation from heterogeneous social graphs" (HETERS). The project is within the Security and Trust of Software System (SaToSS) research group led by Prof. Sjouke Mauw. The purpose of the project is to aggregate and release heterogeneous social network data with the help of social network users while preserving their personalized privacy requirements. The successful candidate will conduct research with a focus on designing methods to synthesise heterogeneous social graphs with data that are privately collected and aggregated from volunteering users.

Your Profile

The candidate must have a master degree and outstanding qualifications in computer science, mathematics or a related discipline. We also expect the successful candidate to have:

How to apply

Applications, written in English, should be include:

Please note that the motivation letter must clearly state how the experience and interests of the candidate are related to the PhD topic advertised. Generic applications that are not tailored to the group and topic will not be considered.

The application should be submitted online. The link for submission will be published soon once it is available on this page. The Early submission is highly encouraged as the applications are processed in the order of reception. Applications by email will not be considered, but we encourage applicants to contact us with questions. For further information, please contact Dr. Xihui Chen or Dr. Jun Pang.

Open Applications: PhD and postdoctoral positions

The SaToSS group is always looking for excellent candidates with an interest in our active research fields, interested in formalizing and applying formal reasoning to security and privacy problems and trust models. 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