Hi, the School of Computer Science at Nottingham is advertising 3 PhD positions (see attached), areas include Functional Programming (in our view this includes Applications of Category Theory and Type Theory) - see the webpages of the Functional Programming Lab: http://fp.cs.nott.ac.uk/ . The deadline for applications is 8th of January 2010. Please forward this to interested students. Cheers, Thorsten [For admin and other information see: http://www.mta.ca/~cat-dist/ ]