---------------------------------------------------------------------+ PHD STUDENTSHIP IN FUNCTIONAL PROGRAMMING School of Computer Science and IT University of Nottingham, UK Applications are invited for a fully-funded PhD studentship on the EPSRC project "Reasoning About Exceptions and Interrupts", starting on 1st October 2007 for a period of three years. 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 a modern functional programming language such as Haskell and Epigram. Applicants for this position will require a first-class Honours degree (or equivalent) in Computer Science and/or Mathematics, some experience in functional programming, and an aptitude for mathematical subjects. Additional desirable attributes include a higher degree (e.g. Masters), and/or some experience in formal semantics, program verification, concurrency theory, or theorem provers. The successful applicant will work under the supervision of 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. The position is open to UK and EU applicants, but particularly strong candidates from outside the EU may also be considered, subject to additional funding being available. 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: 15th June 2007 +--------------------------------------------------------------------+ | Dr Graham Hutton Email : gmh@cs.nott.ac.uk | | School of Computer Science and IT | | 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.