From dajo%cs.rhbnc.ac.uk@dcs.rhbnc.ac.uk Thu Jul  2 18:19:50 1992
Received: from ganymede.inmos.co.uk by frogland.inmos.co.uk; Thu, 2 Jul 92 18:19:50 BST
Received: from eros.uknet.ac.uk by ganymede.inmos.co.uk; Thu, 2 Jul 92 18:19:37 BST
Received: from dcs.rhbnc.ac.uk by eros.uknet.ac.uk via JANET with NIFTP (PP)
          id <20425-1@eros.uknet.ac.uk>; Thu, 2 Jul 1992 18:17:03 +0100
From: David Outteridge <dajo@cs.rhbnc.ac.uk>
Date: Thu, 2 Jul 92 18:12:25 BST
Message-Id: <7896.9207021712@white.cs.rhbnc.ac.uk>
To: uk.jobs@cs.rhbnc.ac.uk, info-hol@cs.rhbnc.ac.uk, catia@imec.be,
        henk@nl.kun.cs, chrisb@nl.kun.cs, borrione@imag.fr, inge@fwi.uva.nl,
        mark@oracorp.com, raymond@nl.kun.cs, busch@ztivax.zfe.siemens.de,
        ac@hpl.hp.co.uk, claesen@imec.be, nd1@uk.ac.urc, day@ca.ubc.cs,
        eker@cwi.nl, raf@hpl.hp.co.uk, xavier@cma.cma.fr, garland@lcs.mit.edu,
        giesl@inferenzsysteme.informatik.th-darmstadt.de,
        goldschlag@tycho.ncsc.mil, fgg@dcs.ed.ac.uk, Mike.Gordon@cl.cam.ac.uk,
        germaine@nl.kun.cs, fkh@ukc.ac.uk, hemmendd@tardis.union.edu,
        jmjh@sri-international.co.uk, hunt@cli.com, jackson@edu.cornell.cs,
        david.kinniment@newcastle.ac.uk, kostelij@prl.philips.nl,
        krischer@loria.fr, kumar@ira.uka.de, blevy@aero.org,
        tiziana@hades.informatik.rwth-aachen.de, Tom.Melham@cl.cam.ac.uk,
        musser@edu.rpi.cs, markjan@nl.kun.cs, dajo@cs.rhbnc.ac.uk,
        laurence@gyptis.univ-mrs.fr, alban@fwi.uva.nl, pygott@hermes.mod.uk,
        richta@csearn.bitnet, janos@nl.kun.cs, des@inmos.co.uk, jst@id.dth.dk,
        victoria@cs.rhbnc.ac.uk, as@prg.oxford.ac.uk, verkest@imec.be,
        Werner.Wolff@informatik.uni-muenchen.dbp.de, young@cli.com
Subject: Research Assistant Opportunity

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

                         APPLIED FORMAL METHODS GROUP
                              RESEARCH ASSISTANT


Applications are invited for a Research Assistant to join the IED/SERC SSVE
project, whose aim is to build an integrated hardware specification,
simulation and verification environment. The project is a collaboration with
Professor JA Goguen of the Programming Research Group at Oxford and is
``uncled'' by Inmos Ltd and the Defence Research Agency at Malvern. The
project has been running for two years and has already produced FUNNEL, a new
hardware description language with formal semantics and 2OBJ, a logical
framework theorem proving system based on the algebraic specification language
OBJ3.

We are now designing FUNNEL2, which is an enhancement of FUNNEL with
parameterisation.  The person employed will be working on the semantics of
FUNNEL2 and its interface with commercially available CAD tools and languages.
Applicants should have a PhD or equivalent experience in Computer Science,
Computer Engineering or Mathematics and Computer Science.  The position
requires a strong background in formal methods as well as programming
aptitude.  The ideal candidate will have experience in algebraic specification
languages, programming language semantics, hardware specification and
verification and category theory.

The post is tenable for 1 year on the RA 1A (postdoctoral) salary scale and a
London allowance is payable. The position is tenable immediately and
applicants must be able to start on 1st September 1992 at the latest.


Enquiries and letters of application including a full CV and the names of two
referees should be directed to the person indicated below.  Applications must
be received on or before the 31st July 1992.

Dr Victoria Stavridou,
c/o Mr David Outteridge,
Department of Computer Science,
Royal Holloway and Bedford New College,
University of London,
Egham,
Surrey TW20 OEX.

(Email: dajo@uk.ac.rhbnc.cs, Tel: 0784 443426, Fax: 0784 443420)


