Open positions: Research (Bunched ML); Lectureships.
Subject: Open positions: Research (Bunched ML); Lectureships.
From: David Pym <email@example.com>
Date: Tue, 24 Jun 2003 14:07:21 +0100
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01
Readers of this list may be interested in the following open positions
(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.
UNIVERSITY OF BATH
Department of Computer Science:
Lectureships (3 posts);
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
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
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, firstname.lastname@example.org, 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
email@example.com) or e-mail firstname.lastname@example.org 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: email@example.com
Bath BA2 7AY, England, U.K. Web: http://www.bath.ac.uk/~cssdjp