[TYPES] One PhD and Two Research Accociates in Program Analysis

[Nobuko Yoshida]

Job Advertisement

* One PhD student and One Research Associate
for Program Analysis and the Typed Pi-Calculus:
Foundations and Applications to Security

* One Research Associate for
for Quantitative Analysis of Computational Resources

Queen Mary: closing date, 18th Oct
Imperial College London: closing date, 3rd Oct

====================================================
One PhD Studentship at Queen Mary, University of London
====================================================

Applications are invited for one Ph.D. studentship to work on
the study of new theories of types for the pi-calculus and its
applications to safety and security of software at
Queen Mary, University of London.

This position is funded by the EPSRC grant "Program Analysis and
the Typed Pi-Calculus: Foundations and Applications to Security" with
collaboration with colleagues at Imperial. The shared web page for
the project is:

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

You should pereferably have a theoretical background in computer science
in your previous study,  with interests in studying foundations of
theories of mobile processes, security, probabilistic process theory,
program logics and/or static program analysis. For further information
regarding the scientific aims and background of the project please contact

Dr Kohei Honda (kohei at dcs.qmul.ac.uk)
http://www.dcs.qmul.ac.uk/~kohei

Applicants should complete an application form, downloadable from:

http://www.qmul.ac.uk/postgrad/pgapplyq.shtml

Applications will not be accepted unless they are on the correct form
and clearly marked with the Reference KH/CB.

The application form should be accompanied by a full CV with names and
addresses of 3 referees and should be sent by post to:

Carla Benjamin
PhD Administrator
Department of Computer Science
QMUL
Mile End Road
London
E1 4NS

or as an email attachment to carla at dcs.qmul.ac.uk.

Closing date: 18th October 2004

=======================================================================
Two Research Associates at Imperial College London
=======================================================================

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 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 is in collaboration
with Queen Mary, University of London.

The second 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;

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 foundations of theories of
mobile processes, security, probabilistic process theory,
program logics and/or static program analysis for the first position;
and static program analysis for the second position, along with
a PhD in an area pertinent to the research.

For further information regarding the scientific aims and background
of the project please contact

Dr N Yoshida (yosida at doc.ic.ac.uk)
www.doc.ic.ac.uk/~yoshida
Program Analysis and the Typed Pi-Calculus

Dr H Wiklicky (herbert at doc.ic.ac.uk) or
Prof C Hankin (clh at doc.ic.ac.uk)
Quantitative Analysis of Computational Resources

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:

Bridget Gundry
Department of Computing
Imperial College London
South Kensington campus
London, SW7 2AZ
Email: bridget.gundry at imperial.ac.uk

Closing date: 3rd October 2004