[TYPES/announce] Postdoc: Coalgebraic Logics at Imperial

[Dirk Pattinson]

36 Months Postdoctoral Position in Colagebraic Logics
Department of Computing, Imperial College London


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. More information on the project and the 
position advert can be found at

   http://www.doc.ic.ac.uk/~dirk/CML/

or email me (dirk at doc.ic.ac.uk) regarding further queries.

With best wishes for 2008,

Dirk Pattinson.