EPSRC Funded Postdoctoral Fellowship Applications are invited for a research position available to work with Dr Neil Ghani and Dr Thorsten Altenkirch in the project THEORY AND APPLICATIONS OF CONTAINERS (EPSRC EP/C511964/1). The aim of this project is to develop both the theoretical foundations of containers and apply the results to other problems in Computer Science. The position is available from May 1 2005 and the appointment is for three years. Applicants should have a PhD in Computer Science or a related subject and a research record on developing and applying the theoretical foundations of computer science. Experience in category theory, functional programming and type theory are all desirable. Closing Date 15 March 2005 Contact: Dr Neil Ghani (ng13@mcs.le.ac.uk) and Dr Thorsten Altenkirch (txa@cs.nott.ac.uk)
participants (1)
-
N Ghani