From: bob@minster.york.ac.uk Subject: JOB: Three year HCI Research Associate, University of York, UK Date: 30 Jul 93 09:40:22 GMT Organization: Department of Computer Science, University of York, England Crossposted from comp.human-factors University of York Formalising Scenarios in the Design of Safety Critical Systems Human Computer Interaction Group Applications are invited from software engineers, with an interest in formal methods and / or human computer interaction, for a research associateship that is available from 1 October within the Human Computer Interaction Group. The project is funded by the Science and Engineering Research Council and is available for a period of three years. The research is concerned with the integration of software engineering techniques, for the design of dynamic, time critical, interactive systems such as aircraft flight decks, with modelling techniques taken from Human Computer Interaction. The objective of the project is to provide, test and evaluate a method for the prescriptive analysis of safety critical scenarios. The research associate will work closely with existing members of the group comprising computer scientists and psychologists. An expertise in formal methods will be particularly valuable. Salaries will be on the 1A scale (#17,379 maximum). The deadline for applications is 27 August. Informal enquiries may be made to Professor Michael Harrison (0904 432732, email: mdh@minster.york.ac.uk) or Dr. Peter Wright (0904 433384, email: pcw@minster.york.ac.uk). Six copies of a curriculum vitae should be sent to: The Personnel Officer, University of York, Heslington, York, YO1 5DD. UK. -- -------------------------------------------------------------------------- Bob Fields. Dept. of Computer Science, phone: +44 904 43 3384 University of York, York, Y01 5DD, U.K. email: bob@minster.york.ac.uk --------------------------------------------------------------------------