zedan@minster.york.ac.uk (06/26/90)
U N I V E R S I T Y O F Y O R K, U. K. New Research Project In Formal Methods For Real-time Systems Applications are invited for Two Research Associate posts in the Department of Computer Science which are available following a new research funding. A new project is about to start in the area of Formal Methods For Distributed Real-time Systems, funded by the second round of the DTI/SERC Joint Information Technology Programme. The The overall objective of this research project is to overcome the limitations and deficiencies of existing formalisms by providing a rigorous framework for the specification and development of distributed real-time systems. Our main insight is that the strengths of existing formalisms are frequently complementary and that combining these formalisms can be very effective. Therefore, advances are expected to be made in the formal integration of two or more complementary formalisms; extending existing formalisms to cope with the special problems raised by real-time system requirements and finally closing the gap between specifications and executable codes. The appointments will be made on the scale 8,675 - 19,310 per annum with USS and will be for a fixed period of 3 years or less with starting dates in September-October. Applications (three copies) should give full details of qualifications and experience, name three referees, and be sent to the Registrar's Department (Appointments), University of York, Heslington, York Y01 5DD, UK by Friday, 16 July 1990, from whom further particulars are available. There are no printed application forms. Informal inquiries may be made by telephone or email to Dr. H Zedan (0904-432744 or zedan@uk.ac.york.minster).