PhD student position in formal methods for AI, Luxembourg (Luxembourg)

The Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, is seeking to hire a PhD student to perform research on formal methods for analysis of secure, reliable, and verifiable voting schemes.

The research will be conducted within the STV project (Socio-Technical Verification of Information Security and Trust in Voting Systems), in collaboration with Polish Academy of Sciences. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties that seriously take into account the human and social elements of the processes. The successful candidate will join the Applied Security and Information Assurance research group (APSIA), led by Prof. Peter Y. A. Ryan.