[Agda] Lectureship at Nottingham
Thorsten Altenkirch
txa at Cs.Nott.AC.UK
Fri Jul 4 20:26:43 CEST 2008
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.
More information about the Agda
mailing list