The Mathematical Foundations group at the University of Bath is offering a Ph.D. position in foundations of computation: Computational and representational aspects of modern proof systems In developing the mathematical foundations of computation, a central insight is that formal proofs can be viewed as computer programs. In this direction, a recent discovery by members of the group, in collaboration with international colleagues, is a correspondence between modern proof methods and computation over geometric objects. The position will be part of a larger project to further develop this connection. The particular task will be to develop and investigate computational calculi arising from this correspondence. The Mathematical Foundations group is a diverse and active research community within the Department of Computer Science. The group is world-class in the area of logic and semantics, and is internationally well-connected. Its members have an excellent record of supervising Ph.D. candidates, many of whom have gone on to establish themselves as successful independent researchers. The prospective supervisor for the advertised position is Willem Heijltjes. Relevant links: Willem Heijltjes - http://www.cs.bath.ac.uk/~wbh22/ Mathematical Foundations - http://www.bath.ac.uk/comp-sci/research/mathematical-foundations/ Details: Starting date for the position is 1st of October 2013. The position is funded by a three-year Graduate School studentship. It comprises full Home/EU tuition fees and a training support grant, plus a stipend of ?13,590 per annum (2012/13 rate). How to apply: Closing date for the advertisement is 28th of February 2013. Candidates must have a bachelor's degree or higher in mathematics, computer science, or a related field, or be expected to graduate before the starting date. Non-native English speakers will be required to obtain a satisfactory TOEFL or IELTS test score before the starting date. The application process further requires the contact details of two academic referees. To apply, please go to the page below and follow the steps outlined there. http://www.bath.ac.uk/science/gradschool/applying/ On the page "Choosing your programme of study", please make sure to select "PhD Programme in Computer Science (full-time)" under "Department of Computer Science". Enquiries: Please contact Willem Heijltjes <w.b.heijltjes@bath.ac.uk> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]