News and Events: Open Positions

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

Postdoctoral or PhD student position on mode(l)s of verification & monitorability, Reykjavik (Iceland)

Deadline: Sunday 19 June 2022

We invite applications for one postdoc or PhD position at the Department of Computer Science of Reykjavik University. The position is part of the research project 'MoVeMnt: Mode(l)s of Verification and Monitorability' funded by the Icelandic Research Fund. The project continues previous work in the theoretical foundations of runtime verification. Its overarching goal is to better understand the properties and push the limits of monitorability in different settings.

The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), with research groups on concurrency, logic and semantics, algorithms, and combinatorics. Moreover, they will cooperate with Adrian Francalanza and Karoliina Lehtinen during the project work and will benefit from the interaction with their research groups at the University of Malta and LIS, Aix-Marseille. The postdoc position is for one year and can be renewed for one more year, based on mutual agreement. The PhD position is for three years. The intended start date is August 1st 2022, or soon thereafter.

For more information, see http://icetcs.ru.is/movemnt/call22.txt or contact Antonis Achilleos at .

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