<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span lang="IS">Mode(l)s of Verificaton and Monitorability<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Department of Computer Science, Reykjavik University<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">One postdoc or PhD position<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">We invite applications for one postdoc or PhD position at the Department of Computer Science of Reykjavik University.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">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).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The project continues previous work in the theoretical foundations of runtime verification.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Its overarching goal is to better understand the properties and push the limits of monitorability in different settings.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">For more information on the project, please visit
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS"><a href="https://urldefense.com/v3/__http://icetcs.ru.is/movemnt/__;!!IBzWLUs!SqnI2v61RR0gCLa766aYuobvISCNStIe7shwCYrwdB-Innk3_gKbVzaoHJ8jKO6GQebsNu6uGqc1AeAR_aH8258PZrWppg$">http://icetcs.ru.is/movemnt/</a>
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">or contact Antonis Achilleos (email: <a href="mailto:antonios@ru.is">
antonios@ru.is</a>)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The successful candidate will benefit from, and contribute to, the<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">research environment at the Icelandic Centre of Excellence in<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Theoretical Computer Science (ICE-TCS), with research groups on<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">concurrency, logic and semantics, algorithms, and combinatorics. For<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">information about ICE-TCS and its activities, see<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">http://icetcs.ru.is/ .<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">*Qualification requirements*<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">*Remuneration*<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">*Start date and duration*<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The postdoc position is for one year and can be renewed for one more year, based on mutual agreement.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">The PhD position is for three years. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The intended start date is August 1st 2022, or soon thereafter.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">*Application details*<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Antonis Achilleos<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">email: <a href="mailto:antonios@ru.is">antonios@ru.is</a>
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Luca Aceto<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">email: <a href="mailto:luca@ru.is">luca@ru.is</a>
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Anna Ingolfsdottir<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">email: <a href="mailto:annai@ru.is">annai@ru.is</a>
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Adrian Francalanza<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">email: <a href="mailto:adrian.francalanza@um.edu.mt">
adrian.francalanza@um.edu.mt</a> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Karoliina Lehtinen<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">email: <a href="mailto:lehtinen@lis-lab.fr">
lehtinen@lis-lab.fr</a> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Informal inquiries about the project and the conditions of work are very welcome.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">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.<o:p></o:p></span></p>
</div>
</body>
</html>