The Department of Computer and Information Science (IDA) is looking for a PhD student in computer science specializing in formal security analysis.
Your task as a PhD student will be to conduct world-class research in cybersecurity as part of the project “Protocol security verification using dynamic key structures” funded by the ELLIIT strategic research initiative and carried out in collaboration with Lund University. The aim of the project is to tackle the inherent computational complexity of protocol security analysis by providing the means and the tools to leverage model structures (e.g., dynamic key dependencies) in models of security mechanisms and to use these structures to automate security analysis.
Deadline for application: September 26, 2023.
Read more about the position here: https://liu.se/en/work-at-liu/vacancies/22714