PhD student position and postdoctoral position in coalgebraic logic, London (U.K.)

Applications are invited for one PhD position and one postdoctoral position within the theory section at the Department of Computing, Imperial College London. Both positions are available for three years and funded by the EPSRC within the project "Cool: Coalgebras, Ontologies and Logic", starting March 1, 2010 or as soon as possible thereafter. The goal of the project is to investigate both foundations and applications of knowledge representation using coalgebraic logics.

For details please see http://www.doc.ic.ac.uk/~dirk/COOL/ or email Dirk Pattinson (dirk at doc.ic.ac.uk) for informal enquiries.