PhD Student in Computer Science

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: October 10, 2023.

Read more about the position here: https://liu.se/en/work-at-liu/vacancies/22714

Visualization with Inviwo – an introduction

In relation to the Elliit infrastructure project “ Visualization Support and Consulting Software, and Competence” we are offering an online introduction to our visualization software Inviwo, presented by Martin Falk, LiU.

Date&Time: October 29, 13.00-15.00 via

Zoom (https://uu-se.zoom.us/my/nikitasi).

This 2-hour session will provide an overview of Inviwo. Additional follow-up sessions on getting started with the software are planned, though the details are still being finalized. Updates will be shared after the first session.

If you’re interested, please feel free to join us for this session and reach out with any questions at (martin.falk@liu.se).

In the meantime you can find more information and a couple tutorials on www.inviwo.org.