From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/119 Path: news.gmane.org!not-for-mail From: Thorsten Altenkirch Newsgroups: gmane.science.mathematics.categories Subject: PhD positions at Nottingham & Swansea Date: Mon, 2 Mar 2009 15:34:39 +0000 Message-ID: Reply-To: Thorsten Altenkirch NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v930.3) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1236081578 19277 80.91.229.12 (3 Mar 2009 11:59:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 3 Mar 2009 11:59:38 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Tue Mar 03 13:00:54 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 1LeTIi-0002mM-Qr for gsmc-categories@m.gmane.org; Tue, 03 Mar 2009 13:00:44 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LeSeJ-0004Uv-Sd for categories-list@mta.ca; Tue, 03 Mar 2009 07:18:59 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:119 Archived-At: Hi, we have two fully funded PhD positions in our project on induction- recursion: one at Swansea (with Anton Setzer) and one at Nottingham (with me). This would be perfect for people who are interested in the foundations of Type Theory. See http://www.cs.nott.ac.uk/~txa/phd.html Please forward this information to talented students who are looking for funding. Cheers, Thorsten This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.