Dear All, Do any of you know a student who wants to do a PhD? We have a place available for anyone interested in type theory, category theory or functional programming. The student must a first class degree or masters with distinction All the best Neil