Open Problems in the Equational Logic of Processes
School of Computer Science, Reykjavik University
One PhD Position
Applications are invited for one PhD position at the School of Computer Science, Reykjavik University. The position is part of a research project funded by the Reykjavik University Research Fund, under the direction of Luca Aceto (Reykjavik University) and Anna Ingolfsdottir (Reykjavik University) in cooperation with Bas Luttik (TU Eindhoven) and Alexandra Silva (University College London). The overarching goal of this project is to solve some of the challenging open problems in the equational axiomatization of behavioural equivalences over process calculi. Interested applicants can contact Luca Aceto (email: email@example.com) for further details on the research proposal.
The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS). For information about ICE-TCS and its activities, see
Moreover, she/he will cooperate with Bas Luttik and Alexandra Silva during the project work and will benefit from the interaction with their research groups at TU Eindhoven and University College London. The PhD student will also have a chance to interact with Clemens Grabmayer and the CS group at the Gran Sasso Science Institute (http://cs.gssi.it/), L'Aquila, Italy.
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 concurrency theory and mathematical competence are desirable.
The PhD position provides a stipend of 420,000 ISK (roughly 3,110 € at the current exchange rate) per month before taxes, for three years, starting as early as possible. In addition, the student will have 300,000 ISK per year available for research-related travel.
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.
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 23 November 2018.