* Lectureship at Nottingham
@ 2008-07-04 18:29 Thorsten Altenkirch
0 siblings, 0 replies; only message in thread
From: Thorsten Altenkirch @ 2008-07-04 18:29 UTC (permalink / raw)
To: categories
Hi,
we are advertising a lectureship in the Functional Programming Lab in
Nottingham. Note that the ad mentions "category theory" explicitely
and we'd like to see applications from people interested in
applications of category theory in computer science. 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@Nottingham.ac.uk or Dr G Hutton, tel:
0115 951 4220, Email: Graham.M.Hutton@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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-07-04 18:29 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-07-04 18:29 Lectureship at Nottingham Thorsten Altenkirch
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).