<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] Open postdoc or PhD position at Reykjavik
University, department of Computer Science</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Sat, 14 May 2022 18:06:16 +0000</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Antonios Achilleos <a class="moz-txt-link-rfc2396E" href="mailto:antonios@ru.is"><antonios@ru.is></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
Mode(l)s of Verificaton and Monitorability<br>
<br>
Department of Computer Science, Reykjavik University<br>
<br>
One postdoc or PhD position<br>
<br>
<br>
We invite applications for one postdoc or PhD position at the
Department of Computer Science of Reykjavik University.<br>
<br>
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).<br>
<br>
The project continues previous work in the theoretical foundations
of runtime verification.<br>
Its overarching goal is to better understand the properties and
push the limits of monitorability in different settings.<br>
For more information on the project, please visit<br>
<br>
<a class="moz-txt-link-freetext" href="http://icetcs.ru.is/movemnt/">http://icetcs.ru.is/movemnt/</a>><br>
or contact Antonis Achilleos (email: <a class="moz-txt-link-abbreviated" href="mailto:antonios@ru.is">antonios@ru.is</a>)<br>
<br>
The successful candidate will benefit from, and contribute to, the<br>
research environment at the Icelandic Centre of Excellence in<br>
Theoretical Computer Science (ICE-TCS), with research groups on<br>
concurrency, logic and semantics, algorithms, and combinatorics.
For<br>
information about ICE-TCS and its activities, see<br>
<br>
<a class="moz-txt-link-freetext" href="http://icetcs.ru.is/">http://icetcs.ru.is/</a> .<br>
<br>
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.<br>
<br>
*Qualification requirements*<br>
<br>
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.<br>
<br>
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.<br>
<br>
*Remuneration*<br>
<br>
The PhD position provides a stipend of 412,000 ISK per month
before taxes, and the salary for the postdoc position is 605,000
ISK per month before taxes.<br>
<br>
*Start date and duration*<br>
<br>
The postdoc position is for one year and can be renewed for one
more year, based on mutual agreement.<br>
The PhD position is for three years.<br>
<br>
The intended start date is August 1st 2022, or soon thereafter.<br>
<br>
*Application details*<br>
<br>
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.<br>
<br>
Antonis Achilleos<br>
email: <a class="moz-txt-link-abbreviated" href="mailto:antonios@ru.is">antonios@ru.is</a><br>
<br>
Luca Aceto<br>
email: <a class="moz-txt-link-abbreviated" href="mailto:luca@ru.is">luca@ru.is</a><br>
<br>
Anna Ingolfsdottir<br>
email: <a class="moz-txt-link-abbreviated" href="mailto:annai@ru.is">annai@ru.is</a><br>
<br>
Adrian Francalanza<br>
email: <a class="moz-txt-link-abbreviated" href="mailto:adrian.francalanza@um.edu.mt">adrian.francalanza@um.edu.mt</a><br>
<br>
Karoliina Lehtinen<br>
email: <a class="moz-txt-link-abbreviated" href="mailto:lehtinen@lis-lab.fr">lehtinen@lis-lab.fr</a><br>
<br>
Informal inquiries about the project and the conditions of work
are very welcome.<br>
<br>
We will start reviewing applications as soon as they arrive and
will continue to accept applications until the position is filled.
We strongly encourage interested applicants to send their
applications as soon as possible and no later than 19 June 2022.<br>
<br>
<br>
</div>
</body>
</html>