Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral position in coalgebraic logic (3y), Imperial College, London (U.K.)

A three year postdoctoral position is available from March 1, 2008 (or as soon as possible thereafter) to work on an EPSRC-funded project in the area of coalgebras and modal logic.

Coalgebraic semantics allows the representation of a large class of structurally different modal logics in a uniform semantic framework where the particular type of observations that determines a specific model class is parameterized by an endofunctor. The aim of the project is to study fixpoint logics and logics axiomatized with nested modalities in this setting.

Closing Date: 15 January 2008. More information on the project and the position advert can be found at http://www.doc.ic.ac.uk/~dirk/CML/. or email Dirk Pattinson () regarding further queries.

Please note that this newsitem has been archived, and may contain outdated information or links.