We have recently obtained funding for a project on "Theory And Applications of Induction Recursion" from EPSRC. This project is concerned with investigating the concept of datatypes defined by mutual induction and recursion, with applications to functional programming and constructive reasoning. The project involves the University of Nottingham, University of Strathclyde, and the University of Swansea.
We are looking for two oustanding and enthusiastic PhD students (one at Nottingham and one at Swansea) with an excellent degree in Computer Science or Mathematics at MSc (preferred) or BSc level (average at least 2:1 (UK) or equivalent). The applicant should have a good background in theoretical computer science, functional programming or mathematical logic and should be keen to get up to speed in Category Theory, Intuitionistic Type Theory and foundations of formal reasoning.
We offer: PhD places with living expenses (standard UK level) for 3.5 years. The grants also provide laptops and travel expenses for conference and workshop visits. Both Unversities provide a vibrant research culture with the Functional Programming Laboratory at Nottingham and the Theory Group for Algebraic and Logical Design Methods at Swansea.
Deadline for applications: 15 May 2009
Please contact us, if you are interested or need further information: At Nottingham: Dr. Thorsten Altenkirch (email@example.com) At Swansea: Dr. Anton Setzer (A.G.Setzer@swansea.ac.uk)
Details of the application process will be published soon.