News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Sunday 15 September 2019

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.

For more information, see http://recruitment.uni.lu/en/details.html?nPostingTargetId=52531 or contact Prof. Dr. Peter Y. A. Ryan at , or Prof. Dr. Wojciech Jamroga at .

Please note that this newsitem has been archived, and may contain outdated information or links.