csnjr@its63b.ed.ac.uk (Nick Rothwell) (03/15/88)
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.