The University of Luxembourg is a multilingual, international research university.
The University of Luxembourg invites applications to the following vacancy in the Department of Computer Science (http://dcs.uni.lu) within its Faculty of Science, Technology and Medecine:
Doctoral candidate (PhD student) in Computer Science (m/f)
The studentship would be conducted in the Security and Trust of Software Systems group (SaToSS), led by Prof Sjouke Mauw, with co-supervision from an experienced researcher in the group. The SaToSS group has a track record in producing outstanding researchers, for example the most recent PhD graduate, Jorge Toro-Pozo, was awarded for writing the best thesis of the year in computer science at University of Luxembourg and is now a researcher at ETH Zurich.
For more information on the SaToSS research group see: https://satoss.uni.lu/members/
The candidate’s tasks include:
- Conducting world-class research in the areas of security, privacy and trust
- Participating actively in the research group SaToSS: https://satoss.uni.lu/members/
- Assisting with teaching of courses in the area of security, privacy and trust
- Communicating research results in international conferences and journals
Candidates should hold a master degree in computer science or mathematics. The candidate should demonstrate a pro-active approach to achieving research excellence.
Topics that can be selected for the PhD thesis include:
1. Privacy in: social networks, ePassports, ePayments, eVoting, blockchains, location-aware services, etc.
2. Security of: multiparty protocols, distance bounding protocols (preventing relay attacks), fair exchange protocols (agreeing on terms of transactions), threat and trust models, Android security, GNSS security, adversarial examples and bias in neural networks and language, virtualisation, etc.
3. Cyber Risk assessment: attack trees, cyber-physical and socio-technical systems, security in New Space architectures (e.g., satellite constellations), etc.
The methodology typically applied in the group is to harness formal methods and tools to analyse topical security problems such as the above. Formal methods employed are not limited to various strands of symbolic analysis, concurrency theory, logic, graph theory, and game theory. A student comfortable proving theorems can generally convert to such topics, if research in security is a new direction for the student. More specific topics can be suggested on request, and can be matched to a strong student’s background and interests.
A large and dynamic research unit with an exciting international environment
Training in scientific and transferable skills; participation in schools, conferences and workshops
The University of Luxembourg offers highly competitive salaries and is an equal opportunity employer
Applications —written in English— should be submitted online and include:
- Detailed curriculum vitae, including your contact address, work experience and any publications
- Letter of motivation and two page research statement detailing the topic(s) you would like to address
- Degree certificates and transcript of all grades from university-level courses taken
- Contact information for 2-3 referees
Deadline for application: 15 June 2020.
Early submission is highly encouraged as the applications are processed in order of reception. Applications by email will not be considered.