RA position @ Heriot-Watt Univ. in program analysis

09 May 2001 13:28:30 +0100

--=-=-=
Content-Disposition: inline

                        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

--=-=-=
Content-Type: text/html
Content-Disposition: inline

<html>
<head>
<title>Research Assistant Position</title>
</head>
<body style="background-color:white">
<h1 align="center">Research Assistant Position</h1>
<p align="center">Useful Logics, Types, Rewriting, and Applications (ULTRA) Group<br>Computing and Electrical Engineering Department<br>Heriot-Watt University<br>Edinburgh, Scotland, UK</p>

A research assistant (RA) position is available on an EPSRC-funded
project directed by <a href="http://www.cee.hw.ac.uk/~jbw/">Joe
Wells</a>. The position is in the <a href="http://www.cee.hw.ac.uk/ultra/">ULTRA (Useful Logics, Types,
Rewriting, and Applications)</a> group in the <a href="http://www.cee.hw.ac.uk/">Department of Computing and Electrical
Engineering</a> at <a href="http://www.cee.hw.ac.uk/">Heriot-Watt
University</a> in <a href="http://www.edinburgh.org/">Edinburgh</a>,
the capital of <a href="http://www.scotland.org/">Scotland</a>.

<p>
The RA should either already have skills in some of the following areas
and be interested and able to learn about several others:
</p>

<ul>
<li>type systems, especially those with intersection and union types,
</li>
<li>static analysis of computer programs,
</li>
<li>constraint solving,
</li>
<li>higher-order programming languages,
</li>
<li>programming language semantics, design, and/or implementation.
</li>
</ul>

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.

<p>
To formally apply for this position, please do the following:
</p>
<ul>
<li>
  Arrange for 3 letters of reference to be sent.
</li>
<li>
  Send the following yourself:
  <ul>
  <li>your complete <i>curriculum vitae</i>,
  </li>
  <li>a brief statement of your research accomplishments and interests
    and why you think you would be a good match for the job,
  </li>
  <li>web pointers to or paper copies of at most 3 publications of
    yours which you think are relevant, and
  </li>
  <li>contact details for the people writing your letters of reference.
  </li>
  </ul>
</li>
</ul>
<p>
If you send documents electronically, please use public, standard, and
non-proprietary formats.  Microsoft Word documents will be rejected.
</p>

<p>
    Applications or inquiries should be directed to Joe Wells at:
  </p>
<table>
<tr>
<th align="left" valign="top">web:</th><td><a href="http://www.cee.hw.ac.uk/~jbw/">http://www.cee.hw.ac.uk/~jbw/</a></td>
</tr>
<tr>
<th align="left" valign="top">e-mail:</th><td><a href="mailto:jbw@cee.hw.ac.uk">jbw@cee.hw.ac.uk</a></td>
</tr>
<tr>
<th align="left" valign="top">fax:</th><td>+44 131 449 3834</td>
</tr>
<tr>
<th align="left" valign="top">post:</th><td>
            Computing and Electrical Engineering Department
      <br> Heriot-Watt University
      <br> EDINBURGH
      <br> EH14 4AS
      <br> GREAT BRITAIN
    </td>
</tr>
</table>
</body>
</html>

--=-=-=--