From windley@cheetah  Thu Sep  7 09:06:46 1989
Received: by iris (5.57/3.14)
        id AA06797; Thu, 7 Sep 89 09:06:46 PDT
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA18908; Thu, 7 Sep 89 08:46:29 PDT
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA02635; Thu, 7 Sep 89 08:44:01 PDT
Message-Id: <8909071544.AA02635@cheetah.ucdavis.edu>
To: info-hol@CLOVER
Subject: Hardware Verif jobs
Date: Thu, 07 Sep 89 08:43:59 -0800
From: Phil Windley <windley@cheetah>


I'm mailing this for Vicky Stavridou.  Please mail any responses to her.
Thanks.

--phil--

------------------------------------------------------------------------

The following is not strictly HOL relevant but I hope it will be
interesting to some of the readers.

Vicky Stavridou

------------------------------------------------------
                DEPARTMENT OF COMPUTER SCIENCE
           ROYAL HOLLOWAY AND BEDFORD NEW COLLEGE
                           UNIVERSITY OF LONDON


                    RESEARCH ASSISTANTS


Applications are invited for 2 Research Assistants to join the
IED/SERC SSVE project, whose aim is to build an integrated hardware
specification, simulation and verification environment. The project
will run in collaboration with Professor JA Goguen of the Programming
Research Group at Oxford and is ``uncled'' by Inmos Ltd and RSRE. The
project will develop novel interfaces and theorem proving tools for
HDLs and will be based on existing work on the algebraic specification
language OBJ3.


Both posts are tenable for 3 years on the RA 1A salary scale 12,108 to 14,031
pa inclusive of London allowance.
Applicants should have a BSc Hons degree and a PhD or equivalent
experience in Computer Science, Computer Engineering or Mathematics and
Computer Science. A background in algebra and hardware design/verification
would be ideal. The positions are  tenable from October 1989 and the
closing date for applications is Friday 6th of October.


Letters of application including a full CV and the names of two referees should
be sent to Miss V. Stavridou
(Email: victoria@uk.ac.rhbnc.cs.ux, Tel: 0784 434455 Ext 3429),
Department of Computer Science,
Royal Holloway and Bedford New College,
University of London,
Egham,
Surrey TW20 OEX,
from whom further particulars may be obtained.


