[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.heijlt...@bath.ac.uk>
