Logic List Mailing Archive

PhD student positions in "Theory and Applications of Induction Recursion", Nottingham & Swansea (U.K.), Deadline: 15 May 2009

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

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 (txa@cs.nott.ac.uk) At Swansea: Dr. 
Anton Setzer (A.G.Setzer@swansea.ac.uk)