Royal Holloway RA Position

[Helen Treharne <helen@xxxxxxxxxxxxx>]

ROYAL HOLLOWAY
University of London

RESEARCH ASSISTANT IN FORMAL METHODS
Department of Computer Science

Royal Holloway, University of London invites applications for the post
of research assistant in Computer Science.

The vacancy is on an EPSRC funded project entitled, 'Verification and
Development of Interacting Software Components'. The aim of the
project is to develop practical tool support and extend the
theoretical foundations for combined systems specified
using CSP and B. An interest in specification methods is
necessary for this position but prior working knowledge of CSP and
B is not essential. We are seeking a motivated individual, preferably
holding a PhD or other experience in the area of formal methods.
Applications from candidates with primarily industrial
research experience are also welcomed.

Further details on the research project can be found at
http://www.cs.rhul.ac.uk/home/helen/epsrc_bcsp/info.html

Salary is up to £24,656 inclusive of London Allowance.
The project is scheduled to start in Autumn, 2002 for two years duration.


Please contact Helen Treharne by email at H.Treharne@xxxxxxxxxxxxx for
more information about the post or the project.

Information on the Department may be found at www.cs.rhul.ac.uk/.

Further details and an application form can be obtained from The
Personnel Office, Royal Holloway, University of London, Egham,
Surrey TW20 0EX; fax: 01784 4735
27; tel: 01784 414241; email Sue.Clarke@xxxxxxxxxx, or
from the college website.Please quote reference KB/2131

The closing date for receipt of applications is 18 July, 2002. However, if
you are interested then please email H.Treharne@xxxxxxxxxxxxx to indicate
your interest in applying. It may be possible to accept late applications.

We positively welcome applications from all sections of the community




------------------------------------------------------------------
Helen Treharne
Dept of Computer Science,
Royal Holloway, University of London, Egham TW20 0EX
Phone: +44 1784 443429         Fax: +44 1784 439786
H.Treharne@xxxxxxxxxxxxx       http://www.cs.rhul.ac.uk/home/helen
------------------------------------------------------------------