[Haskell-cafe] Postdoctoral Fellowship in Functional Programming

[Graham Hutton]

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

        POSTDOCTORAL RESEARCH FELLOW IN FUNCTIONAL PROGRAMMING

 		      School of Computer Science
		     University of Nottingham, UK

Applications are invited for a 3-year postdoctoral research fellowship
in  functional programming,  to  work  with Dr  Graham  Hutton on  the
EPSRC-funded project "Reasoning About Exceptions and Interrupts".

Most  modern  programming   languages  provide  special  features  for
detecting and managing unexpected events, in the form of exception and
interrupt handling primitives.  Despite their importance, the issue of
provable  correctness  for   programs  involving  these  features  has
received  little  attention, but  is  particularly  crucial given  the
difficulty of  writing correct programs  in this setting.  The  aim of
this project is  to address this problem within  the context of modern
functional programming languages such as Haskell and Epigram.

Applicants for this  position will require a PhD  in Computer Science,
and  research   experience  in  functional   programming.   Additional
desirable attributes  include experience in  formal semantics, program
verification, concurrency theory, or theorem provers.

The  successful applicant will  work in  collaboration with  Dr Graham
Hutton  in  the Foundations  of  Programming  group  in Nottingham,  a
leading  centre   for  research  on  formal   approaches  to  software
construction  and  verification.   The  group  currently  comprises  7
academic staff, 5 research staff, and 13 PhD students.

Salary  will be  within the  range 25,134  - 32,796  pounds  per year,
depending  on qualifications  and experience.   The post  is available
immediately, and will be offered on a fixed-term contract for 3 years.

Further details regarding the position  and how to apply are available
from Dr Graham Hutton, http://www.cs.nott.ac.uk/~gmh.

Closing date for applications: 12th October 2007.

+--------------------------------------------------------------------+
| Dr Graham Hutton                    Email : gmh at cs.nott.ac.uk      |
| School of Computer Science                                         |
| University of Nottingham            Web   : www.cs.nott.ac.uk/~gmh |
| Jubilee Campus, Wollaton Road                                      |
| Nottingham NG8 1BB, UK              Phone : +44 (0)115 951 4220    |
+--------------------------------------------------------------------+

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.