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.Altenkirch@Nottingham.ac.uk or Dr G Hutton, tel: 0115 951 4220, Email: Graham.M.Hutton@Nottingham.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.nottingham.ac.uk/CJ24461S Closing date : 15th August 2008 +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh@cs.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.