Research Job in Modular Program Analysis @ Heriot-Watt Univ., Scotland, UK

• To: types@cis.upenn.edu
• Subject: Research Job in Modular Program Analysis @ Heriot-Watt Univ., Scotland, UK
• From: Joe Wells <jbw@izanami.cee.hw.ac.uk>
• Date: 03 Jun 2001 22:42:54 +0100
• Sender: jbw@loki.cee.hw.ac.uk
• User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.4

Researcher Position

Useful Logics, Types, Rewriting, and Applications (ULTRA) Group
Computing and Electrical Engineering Department
Heriot-Watt University
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:

• type systems, especially those with intersection and union types,
• static analysis of computer programs,
• unification and constraint solving,
• higher-order programming languages (e.g., Haskell, LISP, Objective Caml, Scheme, Standard ML, etc.),
• programming language semantics, design, and implementation.

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:

• Arrange for 3 letters of reference to be sent.
• Send the following yourself:
  • your complete curriculum vitae,
  • a brief statement (one paragraph is enough) explaining why you think your research accomplishments and interests would be a good match for the job,
  • web pointers to or paper copies of from 0 to 3 publications of yours which you think are relevant, and
  • contact details for the people writing your letters of reference.
• Contact the Heriot-Watt Personnel Office and get them to send you an "application pack". This contains an application form, an equal opportunities monitoring form, information for applicants with disabilities, and some additional information about Heriot-Watt and the position.
• Fill out and return the application form and the equal opportunities monitoring form. (If your curriculum vitae is well constructed, then nearly all of the information requested on the application form will be redundant, in which case I feel it is reasonable to just write "see c.v." in the blanks.)

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:

Formal applications and/or requests for materials for completing a formal application should be directed to the Heriot-Watt Personnel Office at:

• Prev: chair in tcs
• Next: POSTDOCTORAL RESEARCH POSITIONS and PROGRAMMER POSITIONS
• Index(es):
  • Main
  • Thread