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
If you have any questions, please contact Prof. Dr. Peter Y. A. Ryan <email@example.com> or Prof. Dr. Wojciech Jamroga <firstname.lastname@example.org>
Ph D In Testing Machine Learning Models And Self Learning Systems, University of Luxembourg, Luxembourg, 19 days ago
The Interdisciplinary Centre for Security, Reliability and Trust (SnT) invites applications from PhD candidates in the general area of Software Engineering. SnT is carrying out interdisciplinary r...
Postdoc Positions At Ifisc (Palma De Mallorca, Spain) (# Of Pos: 2), Institute for Cross-Disciplinary Physics and Complex Systems (IFISC), Spain, 4 days ago
IFISC opens junior postdoc positions associated to the project PACSS (Physics approach to complexity in socio-technical systems) with link https://ifisc.uib-csic.es/en/research/projects/pacss/ . ...
Ph D Student On Serious And Personalized Games For Self Management Of Diabetes, Eindhoven University of Technology (TU/e), Netherlands, 13 days ago
The School of Industrial Engineering is one of the longest-established IE Schools in Europe, with a strong presence in the international research and education community, amongst others in the fie...
Ph D Position (M/F) In Complex Particle Laden Fluid Structure Interaction (Fsi), University of Luxembourg, Luxembourg, 13 days ago
The University of Luxembourg is a multilingual, international research university. Description The University of Luxembourg within its multi-disciplinary and -cultural environment invites applicat...
Ph D Student On Serious And Personalized Games For Self Management Of Diabetes, Eindhoven University of Technology, Netherlands, about 20 hours ago
Eindhoven University of Technology has a vacancy for 1 PhD student on Serious and Personalized Games for Self-management of Diabetes (1.0 fte) within the Information Systems (IS) group of the Scho...
Doctoral Candidate (Engineering Science) Pride Ph D Fellow (M/F), University of Luxembourg, Luxembourg, 13 days ago
The University of Luxembourg is a multilingual, international research university. The University of Luxembourg (UL) invites applications for a Doctoral Candidate (m/f). The selected candidate wil...