Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-5.6) id <05833-0@swan.cl.cam.ac.uk>; Fri, 29 Nov 1991 19:14:17 +0000 Received: by ted.cs.uidaho.edu (15.11/1.34) id AA26941; Fri, 29 Nov 91 11:03:40 pst Reply-To: info-hol@ted Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (15.11/1.34) id AA26937; Fri, 29 Nov 91 11:03:27 pst Received: by grolsch.cs.ubc.ca id AA29240 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Fri, 29 Nov 1991 11:03:51 -0800 Date: 29 Nov 91 19:03 From: Jeffrey Joyce To: info-hol Cc: Vicky Stavridou Message-Id: <3721*joyce@cs.ubc.ca> Subject: forwarded message (job opportunity) I am forwarding this message on behalf of Vicky Stavridou: - Jeff --------------------------------------------------------- DEPARTMENT OF COMPUTER SCIENCE ROYAL HOLLOWAY AND BEDFORD NEW COLLEGE UNIVERSITY OF LONDON APPLIED FORMAL METHODS GROUP RESEARCH ASSISTANT Applications are invited for a Research Assistant to join the IED/SERC SSVE project, whose aim is to build an integrated hardware specification, simulation and verification environment. The project is a collaboration with Professor JA Goguen of the Programming Research Group at Oxford and is ``uncled'' by Inmos Ltd and RSRE. The project has been running for two years and has already produced FUNNEL, a new hardware description language with formal semantics and 2OBJ, a logical framework theorem proving system based on the algebraic specification language OBJ3. We are now designing FUNNEL2, which is an enhancement of FUNNEL with parameterisation. The person employed will be working on FUNNEL2, writing a compiler to OBJ3 and doing case studies. Applicants should have a BSc Hons degree and a PhD or equivalent experience in Computer Science, Computer Engineering or Mathematics and Computer Science. A background in algebra and hardware design/verification would be ideal and a facility with C or Lisp or ML is essential. The post is tenable for 1 year on the RA 1A (postdoctoral) salary scale and a London allowance is payable. The position is tenable from January 1992 or as soon as possible thereafter. Enquiries and letters of application including a full CV and the names of two referees should be directed to Victoria Stavridou, Department of Computer Science, Royal Holloway and Bedford New College, University of London, Egham, Surrey TW20 OEX. (Email: victoria@uk.ac.rhbnc.cs, Tel: 0784 443429/1, Fax: 0784 443420)