Positions in Theoretical Computer Science

                      SCHOOL OF COMPUTER SCIENCE


Applications are invited for a permanent Lectureship and a two year 
Research Fellowship in the School of Computer Science.  The posts
have arisen due to the recent appointment of Professor Achim Jung
to head the Theory of Computation group within the School.

The Theory of Computation group, of which the successful candidates
for the two posts will be members, concentrates on the development of
logics and semantics for programming languages. The overall aim is to
provide intuitive conceptual tools for the everyday practice of
programming. Within this framework, our activities range from abstract 
mathematics to issues of implementation and software development. 
Current research projects include probabilistic computation, program 
logics, process calculi, semantics for concurrency, algebraic data types 
and semantics of databases.

Applicants for the Lectureship should be enthusiastic researchers,
and must have a proven research record, preferably in one of the 
following areas:

   (Typed) lambda calculus
   Type theory
   Calculi and logics for concurrent processes

Candidates with expertise in areas consistent with the aims of the
group are also encouraged to apply. 

The successful candidate will be expected to contribute to the
teaching programmes within the School, which at present include
undergraduate and postgraduate courses in Artificial Intelligence,
Computer Science and Software Engineering.  This typically includes 
giving lecture courses as well as undergraduate and MSc project 
supervision.  A new degree of Mathematical Computer Science is under 

Applicants for the Postdoctoral Fellowship will be expected to work
with Professor Jung in the area of semantics of databases.  To ensure
successful collaboration, candidates should have, or be willing to
acquire, knowledge of at least one of the following areas:

   Incomplete information in databases
   Complex objects
   Query languages for complex objects
   Type systems for programming languages

Candidates who have well-defined research programmes of their own
that they want to pursue in collaboration with the Theory group
are also encouraged to apply. 

The starting date is September 1995 for the Lectureship and January
1996 for the Fellowship, or as soon as possible thereafter.

The salary will be on the Lecturer A/B scale (14,756 - 19,326 pounds 
a year or 20,133 - 25,735 pounds a year) for the Lectureship and on 
the R&A IA scale (13,941 - 17,007 pounds a year) for the Fellowship.

The closing date for applications (to be sent to Mr Scott, see address
below) is 5th May 1995.  It is expected that interviews will be held 
during May or June.  

Informal enquiries should be directed to Achim Jung (email 
A.Jung@cs.bham.ac.uk) or Marta Kwiatkowska (tel +44 (0)121 414 7264; 
email M.Z.Kwiatkowska@cs.bham.ac.uk).

Application forms and further particulars are available from (please 
quote the reference number S13669/95 for the Lectureship and S13670/95 
for the Fellowship):

    Mr P J F Scott, BA, MIPM
    Director of Staffing Services
    The University of Birmingham
    Birmingham  B15  2TT

    Tel: +44 (0)121 414 6483 (24 hours)
    Fax: +44 (0)121 414 4802

The particulars are also available by ftp (files theoryposts95.dvi and 
theoryposts95.ps.Z) at the address ftp://ftp.cs.bham.ac.uk/pub/dist/info.

Additional information about the School of Computer Science and the
University of Birmingham is accessible via WWW from URL:


This includes pointers to information about courses, pictures of the 
campus as well as individual pages of members of staff.  

We encourage applications from women and people from ethnic minorities
or with a disability; and draw attention to the flexible patterns of work
we are able to offer in conjunction with generous maternity leave provisions
and day nursery facilities.