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.