[TYPES] Job Advert

N Ghani ng13 at mcs.le.ac.uk
Sun Feb 20 20:08:16 EST 2005


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 at mcs.le.ac.uk) and Dr Thorsten Altenkirch
(txa at cs.nott.ac.uk)





More information about the Types-list mailing list