RA position @ Heriot-Watt Univ. in program analysis

[Joe Wells]

Title: Research Assistant Position

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: [EMAIL PROTECTED] fax: +44 131 449 3834 post: Computing and Electrical Engineering Department Heriot-Watt University EDINBURGH EH14 4AS GREAT BRITAIN