Lectureship in Functional Programming, Nottingham

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.
Applications from the Haskell community are encouraged!

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: Thorsten.AltenkirchNottingham.ac.uk or Dr G
Hutton, tel:
0115 951 4220, Email: Graham.M.HuttonNottingham.ac.uk.

School of Computer Science : http://nottingham.ac.uk/cs

Functional programming lab : http://sneezy.cs.
nott.ac.uk/joomla/
How to apply               : http://jobs.not
tingham.ac.uk/CJ24461S
Closing date               : 15th August 2008

+-----------------------------------------------------------
------+
| Dr Graham Hutton                 Email : gmhcs.nott.ac.uk      |
| 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.

_______________________________________________
Haskell mailing list
Haskellhaskell.org
http:
//www.haskell.org/mailman/listinfo/haskell