The Coq mailing list

[Thorsten Altenkirch <txa AT Cs.Nott.AC.UK>]

Hi,

we are advertising a lectureship in the Functional Programming Lab in  
Nottingham. Note that the ad mentions "type theory" explicitely and  
we'd like to see applications from people interested in this area.  
While the Functional Programming has been a research topic at  
Nottingham since quite a while, the FP lab as an independent group was  
only created in Autumn last year, see our new webpages
http://sneezy.cs.nott.ac.uk/joomla/

If you have any questions regarding the position (yes, it is a  
permanent faculty position, the teaching load is reasonable), the  
group or the location please don't hesitate to contact me. Application  
is online and quite painless. Please remember: the deadline is *15  
August*.

Cheers,
Thorsten



School of Computer Science
Functional Programming Laboratory

Lecturer in Computer Science

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.

Salary will be within the range £30,912 - £41,545 per annum, depending  
on qualifications and experience (salary can progress to £48,161 per  
annum, subject to performance).  This post is available immediately.

Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846  
6516, Email: Thorsten.Altenkirch AT Nottingham.ac.uk or Dr G Hutton, tel:  
0115 951 4220, Email:  Graham.M.Hutton AT Nottingham.ac.uk.  Further  
information about the School of Computer Science is available at:   http://www.nottingham.ac.uk/cs/

For more details and/or to apply on-line please access: http://jobs.nottingham.ac.uk/CJ24461S 
.  If you are unable to apply on-line please contact the Human  
Resources Department, tel: 0115 951 3262 or fax: 0115 951 5205.   
Please quote ref. CJ/24461S.  Closing date: 15 August 2008.  Interview  
date: 17 September 2008.


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.