[Sml-list] Lectureship in Functional Programming, Nottingham

[Graham H. <gm...@Cs...>]

Dear all,

We are currently seeking a new Lecturer (Assistant Professor) in
the Functional Programming Lab in Nottingham, a recently formed
research group that comprises Thorsten Altenkirch, Graham Hutton,
Henrik Nilsson, four research fellows, and eleven PhD students.

The closing date for applications is

    *** Friday 15th August 2008 ***

Best wishes,

Graham

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

UNIVERSITY OF NOTTINGHAM

School of Computer Science

Lectureship in Functional Programming

Applications are invited for the above post in the School of Computer
Science.  The successful candidate will be expected to participate in
the School's teaching activities and contribute to research in the
recently formed Functional Programming Laboratory.

Candidates must hold a PhD or equivalent in a relevant subject, have
an excellent publication record and the ability to teach at undergraduate
and postgraduate level.  It is desirable that candidates have a track
record of external research funding, collaboration across disciplines,
experience of different types of assessment and higher education quality
assurance.  They should also have the ability to play a role in the
routine running of the School of Computer Science.

The Functional Programming Laboratory covers a broad range of topics
in the theory, practice, and implementation of functional programming
languages.  Current interests include type theory, language design,
program semantics, program verification, modelling and simulation,
category theory, programming tools, and quantum programming.
Applications are welcome from any area that complements existing
research strengths in the laboratory.

Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846
6516, Email: Tho...@No... or Dr G Hutton, tel:
0115 951 4220, Email: Gra...@No....

School of Computer Science : http://nottingham.ac.uk/cs
Functional programming lab : http://sneezy.cs.nott.ac.uk/joomla/
How to apply               : http://jobs.nottingham.ac.uk/CJ24461S
Closing date               : 15th August 2008

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

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.