The Scandinavian Logic Society

One postdoc or PhD position in the Department of Computer Science, Reykjavik University

We invite applications for one postdoc or PhD position at the Department of Computer Science of Reykjavik University.

The position is part of a research project funded by the Icelandic Research Fund, under the direction of Antonis Achilleos (Reykjavik University), Luca Aceto (Reykjavik University), and Anna Ingolfsdottir (Reykjavik University) in cooperation with Adrian Francalanza (University of Malta) and Karoliina Lehtinen (LIS, Aix-Marseille). The project develops the theoretical foundations of runtime verification, and its overarching goal is to better understand the properties and push the limits of monitorability in different settings. For more information on the project and the opening, please visit