Research Associateships in Program Analysis

Salary: £23,761 - £31,142 per annum

Applications are invited for two positions of Research Associate for up to three years to work on the development of quantitative approaches in static program analysis.

The first position is funded by an EPSRC grant entitled "Quantitative Analysis of Computational Resources", awarded to Dr Herbert Wiklicky as principal investigator and Prof Chris Hankin as co-investigator; the second position is funded by the EPSRC grant "Program Analysis and the Typed Pi-Calculus: Foundations and Applications to Security" with Dr Nobuko Yoshida as principal investigator and Dr Herbert Wiklicky and Prof Chris Hankin as co-investigators, and in collaboration with Queen Mary, University of London.

Details on the investigators, their research interests and the two projects can be found on:

http://www.doc.ic.ac.uk/~siveroni/pa

You should have a theoretical background in computer science, in particular experience in static program analysis. For further information regarding the scientific aims and background of the project please contact Dr N Yoshida ( yosida@doc.ic.ac.uk ), Dr H Wiklicky ( herbert@doc.ic.ac.uk) or Prof C Hankin ( clh@doc.ic.ac.uk).

Applicants should complete an application form, downloadable from:

http://www.imperial.ac.uk/employment/academicform.htm

Applications will not be accepted unless they are on the correct form and clearly marked with the Job Reference Number PA1/2. The application form should be accompanied by a full CV with names and addresses of 3 referees and should be sent to:

Janice Lonsdale
Department of Computing
Imperial College London
South Kensington Campus
London, SW7 2AZ
Email: jll@doc.ic.ac.uk

Closing date: 23 September 2004

Valuing diversity and committed to equality of opportunity