Thursday, January 28, 2021

[DMANET] phd and postdoc positions at Reykjavik University

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.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************