[TYPES] post-doc job in functional programming

Colin Runciman colin at cs.york.ac.uk
Thu Jul 28 12:16:27 EDT 2005

Research Associate Position Available
(Post-Doc, Functional Programming Systems)

Applications are invited for a fixed-term research position at the
Department of Computer Science, University of York, UK.  This position
is for a post-doctoral researcher to investigate the use of functional
programming systems in grid computing.  Specifically, the post is
available in connection with a recently awarded EPSRC grant: "A Lazy
Polytypic Grid: Generic Data Visualization Methods That Adapt to Resources

The project is a collaboration between the University of Leeds
(grant holder: David Duke) and the University of York (grant holder:
Colin Runciman).  A post-doctoral researcher is being appointed at
each site. The researcher at Leeds is expected to specialise in data
visualisation and the researcher at York in functional programming
systems, but the intention is that work will be genuinely collaborative.
Both departments are active centres of research; for further information
about them see http://www.cs.york.ac.uk/ and http://www.comp.leeds.ac.uk/.

The essential qualifications for the post are these:

* a PhD in functional programming systems or equivalent
  research experience;
* well-developed skills in both the implementation and
  application of functional languages;
* an aptitude for working collaboratively in a small team with
  researchers from different domains of expertise;
* strong communication skills for written and oral presentation
  of ideas and results within and beyond the team.

Other desirable qualifications include:

* fluency in the Haskell programming language;
* knowledge of data visualisation methods;
* experience with grid computing.

Starting salary will be up to 27,116 pounds per annum and the position is
available for up to 3 years.

For details of how to apply please email jobs at york.ac.uk quoting reference
number CR05305 or see http://www.york.ac.uk/admin/persnl/jobs/. The closing
date is 31 August 2005.

For informal enquiries, or more details of the technical aims of the
you are welcome to contact me directly: e-mail Colin.Runciman at
or telephone +44 1904 432740. Please note, however, that I am due to be away
for the first 10 days and the last 10 days of August.

More information about the Types-list mailing list