[Prev][Next][Index][Thread]
Tenured posts at Heriot-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: Tenured posts at Heriot-Watt
-
From: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
-
Date: Fri, 11 Feb 2000 17:53:14 +0000
Tenured Posts in Computer Science
Heriot-Watt University,
Edinburgh, Scotland
Posts at the level of lecturer (assistant professor), senior lecturer
and reader (associate professor) are available at the department of
Computing and Electrical Engeneering at Heriot-Watt University,
Edinburgh Scotland. The posts are in a number of areas of Computer
Science. I would strongly encourage applications from academics whose
research area is on type theory, term rewriting, logic, and the
foundations of programming languages and theorm proving. Look at the web
pages of the ULTRA group http://www.cee.hw.ac.uk/ultra/
for information on the areas we are involved in.
The department of Computing and Electrical at Heriot-Watt is a very
lively, active and friendly place with a supportive spirit. The
department is expanding fast and is committed to excellence and is
investing a lot in the future. So, if you can contribute to this
excellence and you want to play an influential role in a supportive
environment, send your application.
Heriot-Watt is located in beautiful parklands on the outskirsts of
Edinburgh, the capital of Scotland and a beautiful and historic city.
Further details about the Department are available on
http://www.cee.hw.ac.uk/
Informal enquiries to Prof. R.J. Clarke, Head of Department {email
rjc@cee.hw.ac.uk}. If your questions are related to
the above areas, contact Fairouz Kamareddine (fairouz@cee.hw.ac.uk).
For application details please contact the
Personnel Office, Heriot-Watt University, Edinburgh EH14 4AS,
Tel. 0131 451 3475 (24 hrs), quoting Reference No (Ref. 19/00) for
Reader/Senior Lecturer and Reference No (Ref. 20/00) for the Lecturer.
Salary for the lectureship is on the scale: 17,238-30,065 UK pounds
Salary for the reader/senior lectureship is between: 31,563-35,670 UK pounds
Closing date: 3 March 2000.
Fairouz Kamareddine