PhD positions available at Heroit-Watt

To: acl2@lists.cc.utexas.edu, bra-types@cs.chalmers.se, categories@mta.ca, colt@cs.uiuc.edu, concurrency@cwi.nl, coq-club@pauillac.inria.fr, elf-list@cs.cmu.edu, facs-members@lut.ac.uk, facs@lboro.ac.uk, formal-methods@cs.uidaho.edu, forum@jsoftware.com, fsdm@it.uq.edu.au, IFIP-WG1_3-Members@brics.dk, imps@linus.mitre.org, info-hol@leopard.cs.byu.edu, isabelle-users@cl.cam.ac.uk, isss-people@ics.uci.edu, lambda-usergroup@dcs.ed.ac.uk, lego-club@dcs.ed.ac.uk, lics@research.bell-labs.com, logic-list@cs.rice.edu, logic@cs.stanford.edu, logic@theory.lcs.mit.edu, lotos-na@site.uottawa.ca, lprolog-list@cis.upenn.edu, lprolog@cis.upenn.edu, mizar-forum@mizar.uwb.edu.pl, nuprlnotes@cs.cornell.edu, papm@dcs.ed.ac.uk, pvs@csl.sri.com, qed@mcs.anl.gov, rewriting@ens-lyon.fr, softverf@nist.gov, tfm-list@doc.ic.ac.uk, theorem-provers@ai.mit.edu, zforum@prg.ox.ac.uk, types@cis.upenn.edu
Subject: PhD positions available at Heroit-Watt
From: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
Date: Fri, 11 Feb 2000 17:34:22 +0000


		PhD positions in Logics, Types, Rewriting
			The ULTRA group
		Heriot-Watt University, Edinburgh, Scotland



We have many PhD openings within the ULTRA group.  
See http://www.cee.hw.ac.uk/ultra/index.html

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
ULTRA group is located in the Department of Computing and Electrical
Engineering at Heriot-Watt University, Edinburgh, Scotland.

The department of Computing and Electrical at Heriot-Watt is a very
lively, active and friendly place with a supportive spirit.  The
department is committed to excellence and is investing a lot in the
future. Heriot-Watt is located in beautiful parklands on the
outskirsts of Edinburgh, the capital of Scotland and a beautiful and
historic city.

We are looking for active, energetic and committed people. 

If you are interested, send your c.v. to Professor Fairouz Kamareddine
of Dr Joe Wells by e-mail (fairouz@cee.hw.ac.uk or jbw@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 recommendation.