PhD place Available

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 of functional programming. The student must a first class degree or masters with distinction All the best Neil [For admin and other information see: http://www.mta.ca/~cat-dist/ ]