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. In particular, we will apply the developments from Game Theory, Multi-Agent Systems and Artificial Intelligence to study essential features of voting procedures, such as confidentiality, coercion-resistance, and voter-verifiability. We are also going to develop algorithmic tools that help to analyze the level of security and usability. This should lead to novel designs for secure and usable voting systems. Note that, while we focus on voting procedures in the project, the concepts and tools being developed can be also applied to analysis of other systems whose security and effectiveness depends critically on human behaviour and its social context.
The successful candidate will join the Applied Security and Information Assurance research group (APSIA), led by Prof. Peter Y. A. Ryan. APSIA specializes in mathematical foundations of information assurance, including mathematical modelling and analysis of information flow, design and analysis of cryptographic primitives and protocols (both classical and quantum), secure verifiable voting systems, and game-theoretic analysis of security systems and protocols. The group has expertise in both the symbolic and the computational styles of analysis, and investigates the links and synergies between them. APSIA has also established itself as a leading centre for the socio-technical aspects of security.
The candidate’s tasks will include:
- Conducting research on modeling, analysis, and verification of security properties in socio-technical systems
- Providing guidance to M.Sc. students
- Disseminating results through scientific publications and talks at conferences
Doctoral Candidates (Ph D Students) In The Field Of Modern Or Contemporary European History (M/F) (# Of Pos: 4), University of Luxembourg, Luxembourg, 3 days ago
The University of Luxembourg is a multilingual, international research University. The University of Luxembourg invites applications for the following vacancies at the Luxembourg Centre for Contem...
Postdoctoral Fellow Position In The Field Of Ras Cancer Cell Biology (M/F), University of Luxembourg, Luxembourg, 3 days ago
The University of Luxembourg has the following vacancy in the Cancer Cell Biology Group (Prof. Dr. Daniel Abankwa) at the Department for Life Sciences and Medicine, Faculty of Science, Technology...
Ph D Or Postdoc Position On The Imaging Of Neuronal Architecture, Katholieke Universiteit Leuven, Belgium, 3 days ago
(ref. BAP-2020-73) Laatst aangepast : 10/02/2020 The Lab for Nanobiology is a relatively young but dynamic group. We offer an interdisciplinary environment including research at the doctoral and p...
Ph D Student In The Distributed Systems Group (Ewi2019 27), Delft University of Technology, Netherlands, 3 days ago
PhD Student in the Distributed Systems Group Department/faculty: Faculty Electrical Engineering, Mathematics and Computer Science Level: University Graduate Working hours: 38-40 hours weekly Contr...
Early Stage Researcher (Ph D Student) Position , Masaryk University, Czech, 13 days ago
Early Stage Researcher (PhD Student) position The RECETOX Centre of Masaryk University (www.recetox.muni.cz) in Brno, the Czech Republic, is focused on the research and education in cross-cutting ...
Ph D In The Erc Project Law As A Vehicle For Socio Economic Change: Mainstreaming Non Extractive Economic Practices, University of Amsterdam, Netherlands, 3 days ago
The Amsterdam Law School has an opening for one PhD position (1FTE) for the duration of 4 years) at the Department of Private Law, and within the framework of the ERC funded project ‘Law as a Vehi...