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
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 firstname.lastname@example.org, 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