[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Mode(l)s of Verificaton and Monitorability
Department of Computer Science, Reykjavik University
One postdoc or PhD position
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 continues previous work in the theoretical foundations of runtime
verification.
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://urldefense.com/v3/__http://icetcs.ru.is/movemnt/__;!!IBzWLUs!SqnI2v61RR0gCLa766aYuobvISCNStIe7shwCYrwdB-Innk3_gKbVzaoHJ8jKO6GQebsNu6uGqc1AeAR_aH8258PZrWppg$
or contact Antonis Achilleos (email: [email protected]<mailto:[email protected]>)
The successful candidate 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, and combinatorics. For
information about ICE-TCS and its activities, see
https://urldefense.com/v3/__http://icetcs.ru.is/__;!!IBzWLUs!SqnI2v61RR0gCLa766aYuobvISCNStIe7shwCYrwdB-Innk3_gKbVzaoHJ8jKO6GQebsNu6uGqc1AeAR_aH825-l0QVXKg$
.
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 412,000 ISK per month before taxes, and
the salary for the postdoc position is 605,000 ISK per month before taxes.
*Start date and duration*
The postdoc position is for one year and can be renewed for one more year,
based on mutual agreement.
The PhD position is for three years.
The intended start date is August 1st 2022, or soon thereafter.
*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: [email protected]<mailto:[email protected]>
Luca Aceto
email: [email protected]<mailto:[email protected]>
Anna Ingolfsdottir
email: [email protected]<mailto:[email protected]>
Adrian Francalanza
email: [email protected]<mailto:[email protected]>
Karoliina Lehtinen
email: [email protected]<mailto:[email protected]>
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 the position is filled. We strongly encourage
interested applicants to send their applications as soon as possible and no
later than 19 June 2022.
