dat@ukc.UUCP (D.A.Turner) (10/16/84)
UNIVERSITY OF KENT AT CANTERBURY - COMPUTING LABORATORY RESEARCH FELLOW/SENIOR RESEARCH FELLOW IN COMPUTER SCIENCE Applications are invited for the above post at the University of Kent to work on the mechanical verification of functional programs. The fellowship is funded by the Alvey Committee under their software engineering program. It is hoped to use LCF and other computer based tools to develop formal proofs of the correctness of significant programs written in the functional language MIRANDA. The work is in conjunction with a project under the leadership of Professor D A Turner to develop a complete operating system in a functional language. Applicants should have a strong interest in the problem of program correctness or in mechanical theorem proving and some relevant research experience. The appointment will on the scale for research fellows (7190 to 14125 pounds) or on the scale for senior research fellows (13515 to 16925 pounds),at a point depending on the qualifications and experience of the appointee. The salary scales are under review. The position will for a three year fixed period tenable from January 1st, 1985 or other mutually convenient starting date. To obtain further particulars and an application form please send a note with your name and postal address (plus a work and home telephone number if available) by electronic mail to David Turner at Kent (usenet address: dat@ukc) Application forms and further particulars may also be obtained by writing to Academic Secretary, The Registry, The University of Kent, Canterbury CT2 7NZ, ENGLAND. Please quote Ref. A57/84 on the envelope. The closing date for receipt of completed forms is Thursday, 1st November 1984.