[TYPES/announce] PhD studentships in Nottingham

[Thorsten Altenkirch]

+------------------------------------------------------------------+

            PhD Studentships in Functional Programming

                   School of Computer Science
                  University of Nottingham, UK

The Functional Programming Lab (FP Lab) in the School of Computer
Science at the University of Nottingham is seeking to appoint up
to two new PhD students, starting on 1st October 2011.

The topics for the studentships are open, but will be within the
general area of functional programming.  The studentships are for
3.5 years, include a maintenance grant of 13,590 UK pounds per
year and UK/EU tuition fees, and are open to UK and EU applicants.
Particularly strong candidates from outside the EU may also be
considered, subject to additional funds being available.

Applicants will require a first-class Honours degree (or equivalent)
in Computer Science, Mathematics, and/or Physics, experience in
functional programming, and an aptitude for mathematical subjects.
A higher degree (e.g. Masters) would be desirable.  Additionally,
experience in one or more of the following will be particularly
welcome: formal semantics, type theory, program verification,
theorem provers, domain-specific languages, languages for physical
modelling, programming language implementation and tools.

Successful applicants will work under the supervision of Dr Graham
Hutton or Dr Henrik Nilsson in the FP Lab in Nottingham, a leading
centre for research on functional programming.  The group currently
comprises 5 academic staff, 1 research fellow, and 10 PhD students.

In order to apply, please submit the following to Dr Graham Hutton
(gmh at cs.nott.ac.uk) or Dr Henrik Nilsson (nhn at cs.nott.ac.uk) by 1st
March 2011: an up-to-date copy of your CV (including the results
of all your University examinations to date) along with a brief
covering letter that describes your experience in functional
programming, your reasons for wishing to pursue a PhD in this area,
and any ideas you have regarding possible research directions.

Note: applicants to the FP Lab should follow the procedure above,
rather than applying directly to the School or University, e.g.
in response to a general advert for PhD studentships.

Closing date for applications: 1st March 2011.

+------------------------------------------------------------------+