Papers I find interesting---mostly, but not solely, in Process Algebra---, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life.

Wednesday, October 20, 2010

Postdoctoral position at Reykjavik University

Processes and Modal Logics

School of Computer Science, Reykjavik University

One postdoctoralposition

Applications are invited for one postdoctoralposition at the School of Computer Science, Reykjavik University. The position is part of a research project funded by the Icelandic Fund for Research, under the direction of Anna Ingolfsdottir and Luca Aceto. The general aim of the project is to contribute further advances to the study of the connections between the theory of reactive systems, modal logics and logics of knowledge, amongst others. See the web page of the project at

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 postdoctoralposition should have a PhD degree in Computer Science, Mathematics or closely related fields. Previous knowledge of at least one of concurrency theory, modal/epistemic logics and their applications in computer science, and process calculi is highly desirable.

Remuneration

The wage is 330,000 ISK (roughly 2,120 euros at the present exchange rate) per month before taxes. The position is for one year, starting in January 2011 or as soon as possible thereafter, 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 the addresses below, together with a statement outlining their suitability for the project and the names of two referees.