Open positions: Research (Bunched ML); Lectureships.

Readers of this list may be interested in the following open positions 
in the
(recently established) Department of Computer at the University of Bath,

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 
    Peter O'Hearn and Edmund Robinson at  Queen Mary, London. Details

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
and is located in a very beautiful city.

Official advert follows.


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 26,270 to 33,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 21, 125 pa. Applicants
should complete an application form and may attach a CV.

More information about the Department can be found at:

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.

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