The University of Luxembourg seeks to hire an outstanding doctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT).
SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the Horizon2020 programme and the European Space Agency.
The successful candidate will participate in the activities of the Security and Trust of Software Systems (SaToSS) research group led by Prof. Dr. Sjouke Mauw. The SaToSS group is working on formalising and applying formal reasoning to real-world security problems and trust issues. The research topics of the group include: security protocols, security modeling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc.
Articol citit de 158 ori