🚀 go-pugleaf

Two full-time researchers are required to join an SERC-funded project
concerned with the development and implementation of the functional
language Standard ML. The language has a number of innovative
features, and recently won the British Computer Society Technical
Award. It is the main language used in the Laboratory.

Possible areas of research include the development of a concurrent
extension to ML, graphical interfaces, and extensions to the modules
facility supported by the language. The researchers will have access
to the powerful computing resources of the LFCS and an ample travel
allowance.

The appointments will be at a point of Research Range 1A
($\pounds$9305 - $\pounds$14825) or II ($\pounds$14245 -
$\pounds$18210), according to qualifications and experience. The
length of appointment is negotiable, but could be up to 4 years. The
posts are available immediately. Applicants should possess a PhD in
computing or equivalent experience, with knowledge of functional
programming, concurrency or advanced compiling techniques.

Please send applications, including curriculum vitae and the names of
two referees, to the project directors (from whom further information
may also be obtained):

	Dr. Kevin Mitchell or Prof. Rod Burstall,
	LFCS,
	Department of Computer Science,
	University of Edinburgh,
	King's Buildings,
	Edinburgh EH9 3JZ.

	Phone: 031 667 1081 ext. 3346
	E-mail: kevin%ed.lfcs@uk.ac.ucl.cs.nss

-- 
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
		nick%lfcs.ed.ac.uk@nss.cs.ucl.ac.uk
		<Atlantic Ocean>!mcvax!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
...while the builders of the cages sleep with bullets, bars and stone,
they do not see your road to freedom that you build with flesh and bone.