[TYPES/announce] Ph.D. position in Mathematical Foundations of Computation in Bath

Willem Heijltjes wbh22 at bath.ac.uk
Thu Jan 31 16:29:34 EST 2013

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  - 


   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.


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".


Please contact Willem Heijltjes <w.b.heijltjes at bath.ac.uk>

More information about the Types-announce mailing list