Friday, April 3, 2020

[DMANET] PhD studentship in Security, Privacy and Trust, in Luxembourg

Dear colleague,

University of Luxembourg is seeking candidates to fill a PhD studentship broadly in the research area of ``Security and Trust of Software Systems.'' Candidates should hold a master degree in computer science or mathematics.

Start date: From 15 June 2020, negotiable
Terms: full time and fully funded for duration of study
Apply here (CV + research statement required): http://emea3.mrted.ly/2g9oy

This studentship will be conducted in the Security and Trust of Software Systems (SaToSS) group, led by Prof Sjouke Mauw, with co-supervision from an experienced researcher within the research group. The SaToSS group has a track record in producing outstanding researchers, for example the most recent PhD graduate, Jorge Toro-Pozo, received the award for the best thesis of the year in computer science at University of Luxembourg and is now a researcher at ETH Zurich.

More info on SaToSS: https://satoss.uni.lu/members/

PhD thesis topics are not limited to:

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, hardware-isolation using virtualization, etc.

3. Cyber security risk assessment: using attack trees, of cyber-physical and socio-technical systems, of 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 and trust problems such as the above. Methods employed are not limited to various strands of symbolic analysis, concurrency theory, logic, graph theory, and game theory. A master degree in computer science with an security element helps; however a student comfortable proving theorems can generally convert to such topics, if research in security is a new. Specific topics can be provided on request, and can be matched to a strong student's background and interests.

The University of Luxembourg offers highly competitive salaries and is an equal opportunity employer.

For further information, and to discuss the suitability of topics and potential supervisors, please contact Dr. Ross Horne, at ross.horne@uni.lu, or Prof. Dr. Sjouke Mauw, at sjouke.mauw@uni.lu.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************