[ The Types Forum (announcements only),
[ Please forward this announcement to prospective candidates ]
Two PhD Positions
Formal Program Verification
are to be filled at the Department of Informatics, University of Sussex
at Brighton, UK.
Applications are invited for two PhD positions for the EPSRC funded
From Reasoning Principles for Function Pointers
Logics for Self-Configuring Programs
under the supervision of Bernhard Reus within the Foundations of
Group at Sussex. More information about the project is available at
Each studentship covers tuition fees (for EU citizens only) and a
substantial maintenance grant of GBP 12,940 per year.
The earliest start date is 1st October 2008 and is negotiable to a
extent. Both studentships are for three years.
* Profile & skills
The ideal candidate will have an excellent undergraduate degree in
Science or Mathematics with an interest in formal methods. Candidates
have a background in one, or ideally several, of the following areas:
* program logics
* separation logic
* denotational semantics
* (Hoare-) type systems
* reflective programming (in the context of object-oriented languages)
* mechanization of formal logics in theorem provers or other
Candidates must speak English, be eligible to work in the UK and should
expect to work on-campus at the University of Sussex.
They will work on the development and implementation of reasoning
principles for programs that use function pointers or reflective
can be expressed with the help of function pointers like e.g. dynamic
dynamic code update.
* Sussex & Brighton
The University is situated in Brighton which is a famous seaside
resort at the
English south coast, about 50 miles from London (and half an hour
from Gatwick Airport). It is renowned for its nightlife, fabulous
* Application Procedure
To apply on-line or by paper for a DPhil place at Sussex consult:
(which involves a simple registration process, you will find guidelines
how to proceed).
Please state clearly in the academic interest section of the application
that you are interested in this particular project. If possible
upload a sample
of your academic writing.
The deadline is August 28th.
After that applications will only be considered if places have not
Should interviews be necessary they will take place between
September 15th to 19th.