[TYPES/announce] PhD studentships at Sussex

[Bernhard Reus]

Please distribute widely to students with interest in a PhD:


++++++++++++++++++++++++++++++++++++++++++++++++++++

  2 Phd Studentships in Program Semantics and Verification

++++++++++++++++++++++++++++++++++++++++++++++++++++

available at the University of Sussex (Brighton, UK)

to work on an EPSRC funded project the objectives of which is to
develop program logics for function pointers and reflective
programming principles.

Candidates need tp have a good BSc/MSc in Computer Science or
Mathematics and should have some interest in programming languages and
formal methods.  Background in Logic, Semantics, Category Theory, or
Type Theory may be useful but is not essential.  On the more practical
side, experience with theorem provers would be an asset.

Students can take on theoretical problems as well as participate in
concrete tool development or extension.

The studentship (funded by the EPSRC, grant EP/G003173/1) will cover
all tuition fees (for EU citizens) and a yearly maintenance grant at
the standard rate (currently GBP 12,940). Students will be working
under the supervision of Dr Bernhard Reus (PI) and in collaboration
with a Post-Doc embedded in the Foundations of Computation Group of
the Department.

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 shops, and cosmopolitan vibe.

For further information about the project consult

<http://www.informatics.sussex.ac.uk/research/projects/PL4HOStore/>

Candidates interested in the studentships should contact:

Dr Bernhard Reus (bernhard at sussex.ac.uk)