Logic List Mailing Archive

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

One PhD and one Postdoc Position in Coalgebraic Logics:

------------------------------------------------------
One PhD and one postdoc position in Coalgebraic Logics
------------------------------------------------------

   Department of Computing
   Imperial College London

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/

which also links to the official job adverts, or email me
(dirk@doc.ic.ac.uk) for informal enquiries.

Best regards,

Dirk Pattinson.