Skip to main contentCambridge University Reporter

No 6175

Wednesday 20 January 2010

Vol cxl No 16

pp. 485–496

Vacancies, Appointments, etc.

Vacancies in the University

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.

Any job application submitted with a curriculum vitae should be accompanied by a Cover Sheet for Employment (Form PD18) which can be downloaded from, or may be obtained in hard copy from the advertising Department or Faculty.

University Offices


Other Post

Fixed-term Lectureship in Computer Science in the Faculty of Computer Science and 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.

The salary will be in the range of £36,532 to £46,278 a year (pay award pending). The limit of tenure for this post is three years. Further details of the Department can be found at

Informal enquiries may be addressed to Professor Anuj Dawar (email Applications should be sent to The Secretary of the Appointments Committee, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, so as to reach her by 28 February 2010. Applications may also be sent by email (with documents in PDF format) to

Applications should include a single document containing a curriculum vitae (resume), a list of publications, and a statement of research interests and future plans, and a completed application form PD18 (parts I and III only) including the names and email addresses of three referees. The provisional interview date is 21 April 2010. Please quote reference NR06156 when applying.