PhD positions at Nottingham and Swansea in Theoretical Computer Science / Logic

We have two fully funded PhD positions in our project on induction-recursion: one at Swansea (with Anton Setzer) and one at Nottingham (with Thorsten Altenkirch). This would be perfect for people who are interested in the foundations of Type Theory.

Deadline for applications: 15 May 2009. For more information, see http://www.cs.nott.ac.uk/~txa/phd.html.