Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!man.psy!man.cs.ux!neil
From: neil@uk.ac.man.cs.ux (Neil Todd)
Newsgroups: net.jobs
Subject: (Unix) Systems Programmer, IPSE 2.5 Project, Manchester University.
Message-ID: <42@man.cs.uxuk.ac.>
Date: Tue, 11-Mar-86 13:24:50 EST
Article-I.D.: man.42
Posted: Tue Mar 11 13:24:50 1986
Date-Received: Sat, 15-Mar-86 18:46:47 EST
Reply-To: neil@ux.cs.man.ac.uk  (Neil Todd)
Organization: Computer Science Dept, University of Manchester, UK
Lines: 33


Systems Programmer, IPSE 2.5 Project, Manchester University.

Applications are invited for the post of Systems Programmer on the IPSE 2.5
Project.  The project is concerned with the development of an advanced
Integrated Project Support Environment and is being performed
collaboratively between Manchester University and various industrial partners.
The involvement of the Manchester team is primarily to perform research,
particularly in the areas of system architecture, theorem proving and
human-computer interface.  The Systems Programmer will work with the
team in providing research tools.  There is a separate post concerned with 
system administration, so the System Programmer will not be generally involved
in day-to-day system administration.

Machines currently being used for the project include a VAX 8600 running UNIX 
(BSD 4.3), and PNX PERQ 2s.  Other machines are expected, including personal 
workstations.

Potential applicants should be preferably be versed in the following: UNIX
programming at both the kernel and application levels; TeX and LaTeX systems.
Database and human-computer interface skills might also be of use.  We will, 
however, consider applicants with only some of the above skills. The ability
to communicate well is a positive advantage.  

The job would provide considerable education in software engineering techniques
and tools; particularly formal methods. The salary is in the range  6,864
to  9,276, and the post is for a period of three years.  Reply, with a c.v., 
to Mark van Harmelen, Department of Computer Science, The University,  
Manchester M13 9PL.  Alternatively, send a formated c.v. to one of the 
following addresses:
JANET: mark@uk.ac.man.cs.ux, UUCP: ...!ukc!man.cs.ux!mark
If you use E-mail, expect an acknowledgement within a week; sometimes
incoming msgs get lost (sorry).