[Haskell] Two Research Fellowships at St Andrews

Kevin Hammond 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.

http://www.hume-lang.org

The closing date is January 31st.  I would be 
happy to answer informal inquiries.

Best Wishes,
Kevin

SCHOOL OF COMPUTER SCIENCE

RESEARCH FELLOWS IN RESOURCE-BOUNDED COMPUTATION
(2 POSTS)

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 
UK.

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 
available from 
http://www.st-andrews.ac.uk/hr/recruitment/vacancies 
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...
Name: St-Andrews-Res-Fellows.pdf
Type: application/octet-stream
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 mailing list