Useful Logics, Types, Rewriting, and Applications (ULTRA) Group
Computing and Electrical Engineering Department
Edinburgh, Scotland, UK
A research position is available on an EPSRC-funded project directed by Joe Wells. The position is in the ULTRA (Useful Logics, Types, Rewriting, and Applications) group in the Department of Computing and Electrical Engineering at Heriot-Watt University in Edinburgh, the capital of Scotland.
The researcher ideally will already have skills in one or more of the following areas and must be interested in and able to learn about several others:
The researcher will help build, document, test, maintain, distribute, and support significant software components for performing modular program analysis. The researcher will also aid in writing scientific reports on the work done.
The position is initially for 1 year, with possible extensions depending on performance and funding. The salary will be commensurate with qualifications and experience in the range from 16775 GBP to 25213 GBP per year. It is preferred that the researcher will already have or will be just about to complete a Ph.D. in a relevant discipline within Computer Science. Applicants from outside the European Union (EU) will be considered.
To formally apply for this position, please do the following before the closing date of 2001-06-25:
Please include the reference code
64/01/U in all
communications to help prevent your application from getting mixed up.
Before sending Microsoft Word documents electronically, please first
convert them to a public, standard, and non-proprietary format, e.g.,
HTML, PDF, PostScript, etc.
Informal inquiries should be directed to Joe Wells at:
|fax:||+44 131 449 3834|
Formal applications and/or requests for materials for completing a formal application should be directed to the Heriot-Watt Personnel Office at:
|voice mail:||+44 131 451 3475|
|fax:||+44 131 451 3475|
|minicom:||+44 131 451 8212|
The Personnel Office
Lord Balerno Building