[TYPES/announce] One PhD and one Postdoc Position in Coalgebraic Logics

[Pattinson, Dirk]

------------------------------------------------------
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 at doc.ic.ac.uk) for informal enquiries.

Best regards,

Dirk Pattinson.