Research Positions in Logic, Types, and Rewriting

Two postdoctoral positions and two postgraduate positions are
available for one year each.  The positions are at Heriot-Watt
University, Edinburgh in the Department of Computing and Electrical
Engineering <URL:http://www.cee.hw.ac.uk> and are a part of the newly
established ULTRA group (Useful Logics, Type theories, Rewriting and
their Applications) <URL:http://www.cee.hw.ac.uk/ultra> led by
Professor Fairouz Kamareddine <URL:http://www.cee.hw.ac.uk/~fairouz>.
The ULTRA group works on the applications of logics, type theories,
and rewriting theory to the design and implementation of programming
languages, the formalization of mathematics, and theorem proving.

The postgraduate positions are for M.Sc. degrees by research which may
possibly be extended to Ph.D. positions.

Postdoctoral researchers are expected to be competent with at least
two of the above mentioned areas of the ULTRA group.  

Applicants should consider that Computing Science at Heriot-Watt
University is expanding rapidly and that Edinburgh, the capital of
Scotland, is a beautiful city of increasing importance due to the
imminent creation of the Scottish parliament.

If you are interested, send your c.v. to Professor Fairouz Kamareddine
by e-mail (fairouz@cee.hw.ac.uk) or post (Heriot-Watt University,
Department of Computing and Electrical Engineering, Riccarton,
Edinburgh EH14 4AS, Scotland) and arrange for three letters of