madjid@comp.lancs.ac.uk (A Madjid Merabti) (07/24/90)
LANCASTER UNIVERSITY
DEPARTMENTS OF COMPUTING AND MATHEMATICS
RESEARCH ASSISTANT IN APPLICATIONS OF FORMAL METHODS TO
DISTRIBUTED AND MULTIMEDIA SYSTEMS
An opportunity exists for one research assistant in the
area of formal specification of distributed, multimedia sys-
tems. The person appointed will work within an established
research group looking at various aspects of distributed and
multimedia technology. The research is supported by SERC/IED
and is in collaboration with British Telecom Research Labs
and Hewlett Packard Labs. Applicants should possess a good
first degree in Computing or Mathematics. Research experi-
ence in areas such as LOTOS, formal methods or real time
specification/ verification would also be advantageous.
Informal enquiries can be made by telephoning Dr Gordon
Blair (ext 3809) or Dr Amanda Chetwynd (ext 3943) at Lancas-
ter University (0524 65201). Alternatively, e-mail
enquiries can be directed to gordon@uk.ac.lancs.comp. The
appointment will be made on the Research Assistant Grade A
scale depending on age and experience.
Application forms and further details available from
the Personnel Services Office (quoting reference L811),
University House, Lancaster LA1 4YW, where applications
should be received by 10th August, 1990.
NAME: Gordon S. Blair PHONE: +44 524 65201 ext 3809
UUCP: ...!ukc!dcl-cs!gordon
DARPA: gordon%lancs.comp@uk.ac.ucl.cs JANET: gordon@uk.ac.lancs.comp
POST: University of Lancaster, Department of Computing,
Engineering Building, Bailrigg, Lancaster, LA1 4YR, UK.