[Haskell] Two Research Fellowships at St Andrews
kh at dcs.st-and.ac.uk
Tue Dec 21 16:02:16 EST 2004
I am looking for two research fellows at St
Andrews to work on bounded computation in Hume.
Hume is a strict concurrent functional language,
whose implementation is written in Haskell.
The closing date is January 31st. I would be
happy to answer informal inquiries.
SCHOOL OF COMPUTER SCIENCE
RESEARCH FELLOWS IN RESOURCE-BOUNDED COMPUTATION
SALARY: £19,460 - £29,128 PA
These posts (one EU-sponsored, one
EPSRC-sponsored) are available for up to three
years in resource-bounded computation for
real-time embedded systems. You will join the
internationally recognised Functional Programming
Group (http://www-fp.dcs.st-and.ac.uk) as part of
the 5A-rated School of Computer Science.
You should have a good background in the theory
and practice of resource-bounded computation or
functional programming. Knowledge of static
analysis, staged meta-programming, type theory
and/or real-time embedded systems would be an
advantage. The research involves international
collaboration with Universities and companies in
France, Germany and the USA as well as within the
For informal enquiries please contact Kevin
Hammond (kh at dcs.st-and.ac.uk). Further
information about the School of Computer Science
may be found at http://www.dcs.st-and.ac.uk
Please quote ref: JB101/04
Closing Date: 31 January 2004
Application forms and further particulars are
or from Human Resources, University of St
Andrews, College Gate, North Street, St Andrews,
Fife KY16 9AJ, (tel: 01334 462571, by fax 01334
462570 or by e-mail Jobline at st-andrews.ac.uk).
The University is committed to equality of opportunity.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1380454 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell/attachments/20041221/d6c8a285/St-Andrews-Res-Fellows-0001.obj
More information about the Haskell