Monday, January 20, 2014

One postdoctoral position at Reykjavik University

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.
See here for details on the project.

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


Qualification requirements

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.

Remuneration

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.

Application details

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.

Anna Ingolfsdottir
email: annai@ru.is

Luca Aceto
email: luca@ru.is

We will start reviewing applications on February 14, 2014, and will continue to accept applications until the position is filled.

No comments: