[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([EMAIL PROTECTED]) regarding further queries. With best wishes for 2008, Dirk Pattinson.