Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!wuarchive!decwrl!purdue!bu-cs!bloom-beacon!eru!luth!sunic!mcsun!ukc!reading!minster!crr
From: crr@minster.york.ac.uk
Newsgroups: comp.graphics
Subject: 2 research associateships
Keywords: formal methods HCI graphics LOTOS
Message-ID: <628164830.6003@minster.york.ac.uk>
Date: 27 Nov 89 10:13:50 GMT
References: <624271289.12536@minster.york.ac.uk>
Reply-To: crr@SoftEng.UUCP (crr)
Organization: Department of Computer Science, University of York, England
Lines: 29

% 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}


Brought to you by Super Global Mega Corp .com