Logic List Mailing Archive

PhD student and postdoctoral positions in Mode(s) of Verification & Monitorability, Reykjavik (Iceland), Deadline: 20 Feb 2021

Mode(l)s of Verificaton and Monitorability
Department of Computer Science, Reykjavic University
One PhD and one postdoc position

We invite applications for a total of two positions: one PhD position and 
one postdoc 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 continues previous work in 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, please visit

https://sites.google.com/view/antonisachilleos/movemnt

or contact Antonis Achilleos (email: 
antonios@ru.is<mailto:antonios@ru.is>)

The successful candidates 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, combinatorics. For information about ICE-TCS and 
its activities, see

http://icetcs.ru.is/ .

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. *Qualification requirements*

Applicants for the postdoctoral position should have, or be about to 
defend, a PhD degree in computer science or a closely related field. 
Moreover, previous knowledge in logic, concurrency theory, or any of the 
project's related areas, and mathematical competence are desirable.

Applicants for the PhD fellowship should have, or be about to obtain, an 
MSc degree in Computer Science, or closely related fields. Some background 
in logic, concurrency theory, or some other of the project's related 
areas, and mathematical competence are desirable. *Remuneration*


The PhD position provides a stipend of 383,000 ISK per month before taxes, 
and the salary for the postdoc position is 460,000 ISK per month before 
taxes. *Start date and duration*

The PhD position is for three years, to start as soon as possible.

The postdoc position is for one year, to start in July or August 2021 (the 
start date is negotiable), and can be renewed for one more year, based on 
mutual agreement.

*Application details*

Interested applicants should send their CV, including a list of 
publications, in PDF to all the addresses below, together with a statement 
outlining their suitability for the project and the names of at least two 
referees.

Antonis Achilleos email: antonios@ru.is<mailto:antonios@ru.is>

Luca Aceto email: luca@ru.is<mailto:luca@ru.is>

Anna Ingolfsdottir email: annai@ru.is<mailto:annai@ru.is>

Adrian Francalanza email: 
adrian.francalanza@um.edu.mt<mailto:adrian.francalanza@um.edu.mt>

Karoliina Lehtinen email: lehtinen@lis-lab.fr<mailto:lehtinen@lis-lab.fr>

Informal inquiries about the project and the conditions of work are very 
welcome.

We will start reviewing applications as soon as they arrive and will 
continue to accept applications until each position is filled. We strongly 
encourage interested applicants to send their applications as soon as 
possible and no later than 20 February 2021.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam