University of Manchester, Department of Computer Science Research Associate Post (Closing date for applications: 15th January 1999) A new position for a research associate is now available on the EPSRC funded `Reasoning about Rainbow' Project, to develop formal support and analysis tools for asynchronous hardware design. Applicants should have at least a good honours degree in computer science or a related discipline, with relevant research experience (preferably to PhD level) being a significant advantage. A background in the development of formal semantics and verification techniques is desirable, together with an interest in applications to hardware modelling and analysis. The post is available 1st February, 1999, and is tenable until 30th June 2001, with a starting salary of up to 17,570 UK pounds (point 6), on the RA 1A scale. Informal enquires may be made to: Professor Howard Barringer email: rainbow@cs.man.ac.uk Department of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK tel: +44 (0) 161 275 6248, FAX: +44 (0) 161 275 6211 Rainbow Project web pages: http://www.cs.man.ac.uk/fmethods/projects/AHV-PROJECT/ahv-project.html Further particulars and application forms are available from the Office of the Director of Personnel, The University of Manchester, Oxford Road, Manchester M13 9PL. Tel: +44 (0) 161 275 2028; Fax: +44 (0) 161 275 2221, Minicom: +44 (0) 161 275 7889; email: personnel@man.ac.uk.