[JA] ================================================ AMAST Links 02 05

                     Lecturer in Computer Science
                       University of London, UK

  Royal Holloway, as part of the University of London, exists to 
promote education and scholarship to the public benefit.
  Applications are invited for the above post from candidates with an 
outstanding research record in Computer Science.  Existing research 
specialities of the department include: Probabilistic Inference and 
Computational Learning, Formal Methods, and Information Security.  
  The expanding Department of Computer Science is part of the Science 
Faculty of one of the five science sites of London University, and was 
rated as 4A in the most recent Research Assessment Exercise.  The 
location at Egham provides an attractive environment and opportunities 
for close industrial collaboration.
  Applications are particularly welcome from candidates with research 
interests relating to one of the two following fields, in which the 
department wishes to expand its existing research activity.
 o  Formal methods of system specification and verification with 
    particular emphasis on safety critical applications.
 o  Theory and application of computational models of learning and 
    inference.
  Candidates with outstanding research experience in related 
disciplines, who are interested in expanding their research into one 
of the above areas, are encouraged to apply.
  The appointment will be made on Lecturer A or B scales 16,890 to 
27,869 pounds a year inclusive.  Informal enquiries may be made to the 
Head of Department (Tel. 01784 443421, email HoD@dcs.rhbnc.ac.uk).
  Applications should be submitted to the Personnel Office, Royal 
Holloway, University of London, Egham, Surrey TW20 0EX, from whom 
further particulars and an application form should be obtained.  
Tel. 01784 443030, Fax 01784 473527.  
  The closing date for receipt of applications is 9th June 1995.