Subject: RA position @ Heriot-Watt Univ. in program analysis
From: Joe Wells (jbw@izanami.cee.hw.ac.uk)
Date: Wed May 09 2001 - 08:28:30 EDT
Research Assistant Position
Useful Logics, Types, Rewriting, and Applications (ULTRA) Group
Computing and Electrical Engineering Department
Heriot-Watt University
Edinburgh, Scotland, UK
A research assistant (RA) 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 RA should either already have skills in some of the following
areas and be interested and able to learn about several others:
* type systems, especially those with intersection and union types,
* static analysis of computer programs,
* constraint solving,
* higher-order programming languages,
* programming language semantics, design, and/or implementation.
The RA will be expected to help build, document, test, maintain,
distribute, and support significant software components for performing
modular program analysis. The RA will also be expected to 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. It is preferred that the RA
already has or is just about to complete a Ph.D. in a relevant
discipline within Computer Science.
To formally apply for this position, please do the following:
* Arrange for 3 letters of reference to be sent.
* Send the following yourself:
+ your complete curriculum vitae,
+ a brief statement of your research accomplishments and
interests and why you think you would be a good match for the
job,
+ web pointers to or paper copies of at most 3 publications of
yours which you think are relevant, and
+ contact details for the people writing your letters of
reference.
If you send documents electronically, please use public, standard, and
non-proprietary formats. Microsoft Word documents will be rejected.
Applications or inquiries should be directed to Joe Wells at:
web: http://www.cee.hw.ac.uk/~jbw/
e-mail: jbw@cee.hw.ac.uk
fax: +44 131 449 3834
post: Computing and Electrical Engineering Department
Heriot-Watt University
EDINBURGH
EH14 4AS
GREAT BRITAIN
This archive was generated by hypermail 2b28 : Wed May 09 2001 - 08:48:47 EDT