Research position available

Research Officer - Exploiting Data Independence

The Oxford University Computing Laboratory seeks a Research Officer
to work on an EPSRC-funded research project `Exploiting Data
Independence', which is led by Professor A.W. Roscoe (University of 
Oxford) and Dr R.S. Lazic (University of Warwick).

The object of the research is to increase the scope of automated
verification of infinite-state systems, in particular where the cause of
the infinite or parameterised aspects is the data.  The theoretical or
applied nature of the contribution of the Research Officer can be suited
to your preferences.

The post would suit a candidate with a PhD in Computer Science or
an equivalent research experience, who has knowledge of one or more of
the following areas:

* model checking
* process algebra
* type theory

The appointment is for twelve months, starting as soon as possible.
Salary is on the age and experience related RSIA grade, currently
17,451 to 26,229 GBP per annum.

The Research Officer will be employed by the University of Oxford,
but there will be an opportunity to spend a significant part of
the appointment at the Department of Computer Science, University of

More information about the project and the two departments can be
found at:


Applications should state clearly the title of the post, and consist of
a full curriculum vitae with supporting letter, together with the names
and contact details of two referees.  They can either be in electronic
form (most formats accepted) and sent to jobs@comlab.ox.ac.uk, or in
paper form and addressed to the Administrator, Oxford University Computing
Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK.

The closing date for receipt of applications is 26 October 2001. 

Formal selection criteria are available on request or from