crr@minster.york.ac.uk (11/27/89)
% tex!
\documentstyle[12pt]{article}
\setlength{\textheight}{9.5in}
\setlength{\textwidth}{15.0cm}
\setlength{\topmargin}{-0.5in}
\setlength{\oddsidemargin}{1.5cm}
\title{University of York\\
Human Computer Interaction Group\\
Department of Computer Science \\
Research Associateships}
\begin{document}
\maketitle
Applications are invited for two three year research associateships within the
department of Computer Science on a DTI/SERC JITP research project. Two computer
scientists preferably with a formal methods or graphics background are required.
The project will research and develop a system to support the formal specification
of concurrent systems (in particular in the notation LOTOS) using interactive
graphics and animation. The aim of the system is to make formal notations for
specifying concurrency accessible to designers in industry.
The project is in collaboration with the University of Ulster (Professor
Dave Bustard), and SD-Scicon and British
Aerospace (as industrial uncles). Salaries will be on
the 1A scale (\pounds 10,458 --- \pounds 16,664 ).
Informal enquiries may be made to Professor Michael Harrison (0904 432732,
email: uk.ac.york.minster). Further
particulars may be obtained from The Registrar's Department, University of York,
Heslington, York, YO1 5DD to whom three copies of a curriculum vitae should be
sent quoting . The closing date for applications is 5th January 1990.
\end{document}