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 (dirk at doc.ic.ac.uk) regarding further queries.
Please note that this newsitem has been archived, and may contain outdated information or links.