PhD Studentship (Please Forward)

Kevin Hammond kh@dcs.st-and.ac.uk
Thu, 15 Nov 2001 17:14:19 +0000


Applications are invited for a PhD student to work on resource modelling
for Hume, a concurrent bounded resource functional language aimed
at embedded/safety critical systems.

The student must be UK- or EC-resident, and possess a good undergraduate
degree in Computer Science.  The project will pay both fees
and a maintenance grant at the standard rate.  The studentship can be
taken up either in the near future or later, to suit individual
circumstances (e.g. at the start of the next academic year, September 2002).

More information on the Hume language can be found at:

   http://www-fp.dcs.st-and.ac.uk/hume

Please address informal enquiries to kh@dcs.st-and.ac.uk.

The project is funded by the UK's Engineering and Physical Sciences
Research Council (EPSRC).

The prototype implementation is written in Haskell.  We hope to make it
available to
interested parties in due course!

Kevin