From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5215 Path: news.gmane.org!not-for-mail From: "Pattinson, Dirk" Newsgroups: gmane.science.mathematics.categories Subject: One PhD and one Postdoc Position in Coalgebraic Logics Date: Tue, 3 Nov 2009 13:48:34 +0000 Message-ID: Reply-To: "Pattinson, Dirk" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1257357738 12841 80.91.229.12 (4 Nov 2009 18:02:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 4 Nov 2009 18:02:18 +0000 (UTC) To: "categories@mta.ca" Original-X-From: categories@mta.ca Wed Nov 04 19:02:11 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1N5kBI-0004fw-R8 for gsmc-categories@m.gmane.org; Wed, 04 Nov 2009 19:02:05 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1N5jo7-0000a2-Bc for categories-list@mta.ca; Wed, 04 Nov 2009 13:38:07 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5215 Archived-At: ------------------------------------------------------ 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]