From victoria%cs.rhbnc.ac.uk@dcs.rhbnc.ac.uk Fri Mar 27 10:02:33 1992
Received: from ganymede.inmos.co.uk by frogland.inmos.co.uk; Fri, 27 Mar 92 10:02:33 GMT
Received: from eros.uknet.ac.uk by ganymede.inmos.co.uk; Fri, 27 Mar 92 10:01:46 GMT
Received: from dcs.rhbnc.ac.uk by eros.uknet.ac.uk via JANET with NIFTP (PP)
          id <11559-2@eros.uknet.ac.uk>; Fri, 27 Mar 1992 09:52:30 +0000
Received: from brown.cs.rhbnc.ac.uk by white.cs.rhbnc.ac.uk;
          Thu, 26 Mar 92 18:05:25 GMT
From: Vicky Stavridou <victoria@cs.rhbnc.ac.uk>
Date: Thu, 26 Mar 92 18:18:51 GMT
Message-Id: <14094.9203261818@brown.cs.rhbnc.ac.uk>
To: Edmund.Clarke@g.gp.cs.cmu.edu, JON@gaffer.radonc.washington.edu,
        R_Witty@cen.jrc.it, S.M.S.Syed-Mustaffa@ecs.sotton.ac.uk,
        Tobias.Nipkow@informatik.tu-muenchen.de, Tom.Anderson@newcastle.ac.uk,
        ac@hpl.hp.co.uk, anti@ua.kiev.icyb.d245, apr@iddth.dk,
        baw@seg.npl.co.uk, borrione@imag.imag.fr, bowen@prg.oxford.ac.uk,
        carh@prg.oxford.ac.uk, cha@aero.org, claesen@imec.be,
        cliff@unix.computer-science.manchester.ac.uk,
        courcou@terpsi.csi.forth.gr, csjvt@pyr.swan.ac.uk, dad@inf.rl.ac.uk,
        dan@ora.on.ca, dc@hpl.hp.co.uk, des@inmos.co.uk, dhp@surrey.cs.ac.uk,
        dhp@cs.surrey.ac.uk, doug@cs.man.ac.uk, eker@cwi.nl,
        eswjc@warwick.ac.uk, fkh@ukc.ac.uk, futatsugi@etl.go.jp,
        gcs@maths.bath.ac.uk, germaine@nl.kun.cs, glc@dcs.ed.ac.uk,
        goguen@prg.oxford.ac.uk, grud@ua.kiev.icyb.d245,
        guttag@larch.lcs.mit.edu, howard@cs.man.ac.uk, hunt@cli.com,
        info-hol-request@clover.ucdavis.edu, joyce@ca.ubc.cs, jst@id.dth.dk,
        kapur@albanycs.albany.edu,
        lescanne <lescanne%poincare.crin.fr@ukc.ac.uk>,
        leveson@edu.washington.cs, liskov@proton.lcs.mit.edu, mcg@lri.lri.fr,
        mikef@lfcs.ed.ac.uk, milne@cs.strath.ac.uk, mjcg@cl.cam.ac.uk,
        moriconi@csl.sri.com, musser@turing.cs.rpi.edu, n.e.fenton@city.ac.uk,
        prinetto@itopoli.bitnet, pyar@hermes.mod.uk, pygott@hermes.mod.uk,
        rushby@csl.sri.com, sb@hplb.hpl.hp.com, sd396@city.ac.uk,
        sifakis@vercors.imag.fr, soulas@rem63ax.der.edf.fr,
        sufrin@prg.oxford.ac.uk, tfm@cl.cam.ac.uk, ttercs@aie.lreg.co.uk,
        vassiliou@terpsi.csi.forth.gr, victoria@cs.rhbnc.ac.uk,
        williamsg@cc49.crl.aecl.ca, xbr4d75r@ddathd21.bitnet,
        zedan@minster.york.ac.uk
Subject: Position at RHBNC


Dear friends and colleagues,

I would be grateful if you could bring the attached to the attention
of anyone who might be interested in applying.

Thank you for your help,

Victoria Stavridou

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



                APPLIED FORMAL METHODS GROUP
               DEPARTMENT OF COMPUTER SCIENCE
           ROYAL HOLLOWAY AND BEDFORD NEW COLLEGE
                   UNIVERSITY OF LONDON



                 SafeFM Research Assistant
                 -------------------------

The SafeFM project will investigate the practical application of
formal methods to safety critical systems. SafeFM is funded by the DTI
and SERC under the Safety Critical Systems Research Programme and is a
collaboration between the Safety and Reliability Directorate of the
Atomic Energy Authority, the Instrument Systems Division of GEC
Avionics and the Department of Computer Science at RHBNC.

Applications are invited for a postgraduate Research Assistant at
RHBNC. The post is for 3 years and salary will be on the 1B research
scale (pounds 14,171 -- pounds 16,401 inclusive of London allowance).
Candidates must have, or shortly expect to obtain, a first or upper
second class degree in Computer Science. This position will suit
someone with a strong interest in formal methods and safety critical
systems. The successful applicant will be encouraged to register for a
PhD degree.

The closing date is May 22nd and the position is tenable as soon as possible.
Queries and applications including a full CV and the names of two referees
should be sent to Dr Stavridou as shown below.

||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Dr Victoria Stavridou,                  || Email victoria@uk.ac.rhbnc.cs
Department of Computer Science,         || =====
Royal Holloway and Bedford New College, ||
University of London,                   || Phone (+44) 784 443429/21
Egham,                                  || =====
Egham Hill,                             ||
Surrey TW20 0EX,                        || Fax   (+44) 784 443420
UNITED KINGDOM.                         || ===
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
