[apologies for multiple copies] 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 Warwick. More information about the project and the two departments can be found at: http://www.comlab.ox.ac.uk/oucl/research/grants/be.html http://www.comlab.ox.ac.uk/oucl http://www.dcs.warwick.ac.uk/dcs/index.html 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 http://www.comlab.ox.ac.uk/jobs.html.