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@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@st-andrews.ac.uk). The University is committed to equality of opportunity.