[PT] One PhD and one Postdoc Position in Coalgebraic Logics
"Pattinson, Dirk" <d.pattinson-AQ/[email protected]>
| Newsgroups | gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
------------------------------------------------------ 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 ([email protected]) for informal enquiries. Best regards, Dirk Pattinson.