[TYPES/announce] 3-year faculty position at Cambridge (Programming/Logic/Semantics)

[Peter Sewell]

[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.Dawar at 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-admin at 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.