Research Position

ULTRA group (Useful Logics, Types, Rewriting, and their Automation)
Computer Science Department
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, Scotland, UK

Description of the Position

A research position is available working on modular reasoning and compositional analysis for computer systems and software with special interest in mobility and concurrency. The position is working with Joe Wells in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group in the Computer Science Department in the School of Mathematical and Computer Sciences at Heriot-Watt University in Edinburgh, the capital of Scotland. The position involves collaboration with the EPSRC and NSF-funded Church Project as well as various contacts in the European Global Computing community.

The research will include collaboration on the Poly* polymorphic retargetable type system for process and mobility calculi, but is not limited to that topic.

It will be helpful if the researcher is competent in 1 or more of the following knowledge areas.

The duration of the position is 1.5 years, with possible further extension depending on performance, funding, and other circumstances. Applications to spend a shorter period (e.g., the sabbatical leave of an established academic) will be considered. The initial salary will be in the range from 22111 GBP to 32471 GBP per year, commensurate with qualifications and experience. The position is available immediately. It is preferred that before starting the researcher will have completed a Ph.D. in a relevant discipline in Computer Science. Very good Ph.D. students elsewhere who want to spend part of their studies visiting Heriot-Watt will be considered. Applicants from outside the European Economic Area (EEA) will be considered.

The researcher will probably collaborate on 1 or more of the following activities. The specific activities will be matched to the strengths of the researcher.

Contact Information

Informal inquiries should be directed to Joe Wells at:

Fax: +44 131 451 3327

Formal applications should be directed to the Heriot-Watt Human Resources Office at:

E-mail: (responses will usually be by paper mail, telephone, or fax)
Voice mail: +44 131 451 3475 (available at all times)
Fax: +44 131 451 3475
Minicom: +44 131 451 8212
Post: Human Resources Office
Heriot-Watt University
EH14 4AS

Applying for the Position

Please use the reference code 16/07/H to help prevent your application from getting mixed up. For documents sent by e-mail, please use a public and standard format. (The best formats are plain text and PDF, because some of our staff may have trouble with HTML or PostScript. Microsoft Word format is forbidden except where returning a form our human resources office has supplied in this format.)

To formally apply for this position, please do as many as possible of the items in the following list by 2007-02-12. The first 2 items are absolutely necessary and the 3rd and 4th are quite important. If you expect trouble meeting the deadline, please ask Joe Wells what to do.

For your information, it is helpful if the writers of reference letters provide details of: