[Prev][Next][Index][Thread]
Positions in Theoretical Computer Science
THE UNIVERSITY OF BIRMINGHAM
SCHOOL OF COMPUTER SCIENCE
LECTURER IN THEORETICAL COMPUTER SCIENCE
POSTDOCTORAL RESEARCH FELLOW
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
development.
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
Edgbaston
Birmingham B15 2TT
England
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:
http://www.cs.bham.ac.uk
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.