The full version of this announcement is available.
Applications are invited for a permanent Lectureship and a two year Research Fellowship in the School of Computer Science.
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. See the full version for further information on the group's research activities.
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.
See the full version for the expected contribution by the successful candidate to the teaching programmes within the School.
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 closing date for applications is 5th May 1995. It is expected that interviews will be held during May or June. See the full version for further details, such as: starting dates, salary, availability of application forms and of further particulars, equal opportunity policy.
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).
The particulars are also available by ftp (files theoryposts95.dvi and theoryposts95.ps.Z).
Additional information about the School of Computer Science and the U. of Birmingham is accessible via WWW .