[TYPES/announce] Postdoc position in Nominal Structural Operational Semantics (Reykjavik University)

Luca Aceto luca.aceto at gmail.com
Sat Jan 25 04:25:03 EST 2014


*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

http://www.ru.is/~luca/PROJECTS/NOSOS/nominal-sos-rannis-2014.pdf

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

http://www.icetcs.ru.is/.

*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 EURO 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 at ru.is

Luca Aceto
email: luca at ru.is

We will start reviewing applications on *February 14, 2014*, and will
continue to accept applications until the position is filled.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140125/55cd4f00/attachment-0001.html>


More information about the Types-announce mailing list