[Apologies for cross-postings.] Readers of this list may be interested in the following open positions in the (recently established) Department of Computer at the University of Bath, England: 1. One Research Officer position (post-doc) --- UK EPSRC-funded project, "Bunched ML" (roughly, operational and denotational models of ML-like languages with bunched typed systems, based on bunched logic. This project is jointly run by Prof. David Pym at Bath and Profs. Peter O'Hearn and Edmund Robinson at Queen Mary, London. Details below; 2. Two permanent lectureships (roughly, Associate Prof.) --- any area of computer science, though see the reserach areas listed below; 3. One 3-year lectureship (roughly, Assistant Prof.) --- any area of computer science, though see the reserach areas listed below. The University of Bath was placed 5th overall in this year's Times UK University Rankings (6th for CS), see http://www.timesonline.co.uk/section/0,,716,00.html, and is located in a very beautiful city. Official advert follows. UNIVERSITY OF BATH Department of Computer Science: Lectureships (3 posts); Research Officer. Lectureships (Ref: 03/157) The Department of Computer Science seeks to appoint, from as soon as possible, to two lectureships and one fixed-term lectureship (3 years - as a direct result of a Royal Society Industry Fellowship awarded to Professor Pym) The Department is multi-disciplinary and has internationally renowned research. Three main research areas are: Human Computer Interaction, Mathematical Foundations and Applications, Media Technology. We are seeking to appoint in each of the existing main research areas but by exception will also consider well qualified applications in other areas of Computer Science. For teaching purposes we need expertise in mainstream computer science topics. Applicants should normally hold a PhD or have equivalent research experience in Computer Science and show evidence of or the ability to publish in international journals or conferences and to obtain research funding. Salary in the range =A326,270 to =A333,679 (Lecturer Grade B). Informal enquiries to Professor Peter Johnson, Head of Department (P.Johnson@bath.ac.uk; Tel +44(0)1225 383214, Fax +44(0)1225 383493). Research Officer Post (Ref: 03/160) Applications are also invited for the post of Research Officer on the EPSRC-funded project "Bunched ML" under the direction of Prof. David Pym, d.j.pym@bath.ac.uk, http://www.bath.ac.uk/~cssdjp who may be contacted for an informal discussion of the post. This project is funded jointly with Prof. Peter O'Hearn's group at Queen Mary, University of London, and is concerned with the operational and denotational semantics of ML-like programming languages which use bunched typed systems, based on bunched logic. Applicants should have a doctorate in a relevant area of computer science or mathematics and an interest in programming languages with polymorphism, program logics, and their semantics. Programming skills would be advantageous. The post is available for three years from 1 November, 2003 or as soon as possible thereafter. The starting salary is =A321, 125 pa. Applicants should complete an application form and may attach a CV. More information about the Department can be found at: http://www.bath.ac.uk/comp-sci/ Application forms and further particulars for both posts are available from Juliet Hills, Personnel Officer, University of Bath, Claverton Down, Bath, BA2 7AY, (tel. 01225 386873; fax 01225 386559; e-mail adsjf@bath.ac.uk) or e-mail jobs@bath.ac.uk or phone the 24 hour answer-phone service on Bath (01225) 386924, or textphone (01225) 386039 quoting the appropriate reference number. Closing date for applications: Friday 25th July 2003. An equal opportunities employer. --=20 Prof. David J. Pym Telephone: +44 (0)1 225 38 3246 Professor of Logic & Computation Facsimile: +44 (0)1 225 38 3493 University of Bath Email: d.j.pym@bath.ac.uk Bath BA2 7AY, England, U.K. Web: http://www.bath.ac.uk/~cssdjp