Nominal Structural Operational Semantics
School of Computer Science, Reykjavik University
One postdoctoral position
Applications are invited for one postdoctoral position at the School of Computer Science, Reykjavik University. The position is part of a research project funded by the Icelandic Research Fund, under the direction of Luca Aceto and Anna Ingolfsdottir. The general aim of the project is to bring the framework of Nominal Structural Operational Semantics, proposed by Cimini, Mousavi, Reniers and Gabbay, to a level of maturity that is comparable to that of the standard theory of Structural Operational Semantics. More specifically, the main general goals of the research project are
- to provide further evidence that Nominal SOS is expressive enough to capture the original semantics of nominal calculi, such as value-passing CCS, variants of the (higher-order) pi-calculus, the spi-calculus, the psi-calculi and the object calculi, and to prove formally the correspondence between the presentation in terms of Nominal SOS and the original ones;
- to develop the meta-theory of Nominal SOS and to extend a wealth of classic SOS meta-results and techniques to the framework of Nominal SOS; and
- to provide tool support for Nominal SOS.
The successful candidates 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
Applicants for the postdoctoral position should have, or be about to hold, a PhD degree in Computer Science or closely related fields. Previous knowledge of at least one of concurrency theory, process calculi, (structural) operational semantics and logic in computer science is highly desirable.
The wage is 400,000 ISK (roughly 2,550 € at the present exchange rate) per month before taxes. The position is for two years, starting on August 1, 2014 (earlier starting dates are possible), and is renewable for another year, based on good performance and mutual satisfaction.
Interested applicants should send their CV, including a list of publications, in PDF to both 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 on February 14, 2014, and will continue to accept applications until the position is filled.