[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Please draw this to the attention of any suitable applicants - thanks, Peter] http://www.admin.cam.ac.uk/offices/hr/jobs/vacancies.cgi?job=6156 Fixed Term Lectureship in Computer Science Faculty of Computer Science & Technology Vacancy Reference No: NR06156 Salary: £36,532-£46,278 Limit of tenure applies* FIXED-TERM LECTURESHIP IN COMPUTER SCIENCE Faculty of Computer Science & Technology Applications are invited for a Lectureship for a fixed term of three years to carry out research and teaching in the area of computer science centred on programming languages. The successful candidate will be expected to take up the appointment on 1 October 2010, or as soon as possible thereafter. The appointment has been created in connection with the award of an EPSRC Leadership Fellowship within the Laboratory. It is targeted at the core area of computer science that comprises language design, compilation, and program analysis, evolution, semantics, testing and verification. The successful candidate will contribute to one or more of these topics within the Laboratory's Programming, Logic and Semantics Research Group. Research group boundaries are very flexible and the successful candidate may also contribute to other areas of the Laboratory's work. The Laboratory provides an environment in which engagement between theoretical and practical aspects of Computer Science, and with industry, is encouraged. The person appointed will be expected to contribute to the teaching of the new M.Phil in Advanced Computer Science and to support undergraduate teaching in this key area. Further details of the Department can be found at http://www.cl.cam.ac.uk. Informal enquiries may be addressed to Professor Anuj Dawar, email anuj.da...@cl.cam.ac.uk. Applications should be sent to The Secretary of the Appointments Committee, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK so as to reach her by 28 February 2010. Applications may also be sent by e-mail (with documents in PDF format) to personnel-ad...@cl.cam.ac.uk. Applications should include - a single document containing a Curriculum Vitae (resume), a list of publications, and a statement of research interests and future plans - a completed application form PD18 (parts I and III only) including the names and e-mail addresses of 3 referees Provisional Interview Date: 21 April 2010 * Limit of tenure: 3 years fixed-term. Closing date: 28 February 2010. Interview date: 21 April 2010. The University values diversity and is committed to equality of opportunity. The University has a responsibility to ensure that all employees are eligible to live and work in the UK.