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 [EMAIL PROTECTED] 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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
