[Fp-nl] Fwd: Postdoctoral Research Fellow in Functional Programming

[Johan Jeuring]

Begin forwarded message:

> From: Graham Hutton <gmh at Cs.Nott.AC.UK>
> Date: 19 september 2007 15:46:42 GMT+02:00
> To: johanj at cs.uu.nl
> Cc: gmh at Cs.Nott.AC.UK
> Subject: Postdoctoral Research Fellow in Functional Programming
>
> Dear Johan,
>
> I'm currently advertising a postdoctoral fellowship in functional
> programming.  If you know of any good candidates who many be  
> interested
> in this, or there is a local mailing list for advertising such things,
> I would be much obliged if you could pass on the advert below.
>
> Best wishes,
>
> Graham
>
> +--------------------------------------------------------------------+
>
>         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.
>