Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 15 Sep 1995 12:16:44 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA270740990; Fri, 15 Sep 1995 04:29:50 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from bunsen.cs.byu.edu by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA270710988; Fri, 15 Sep 1995 04:29:48 -0600 Received: from onyx.dcs.warwick.ac.uk (onyx.dcs.warwick.ac.uk [137.205.224.8]) by bunsen.cs.byu.edu (8.6.9/8.6.9) with ESMTP id EAA11386 for ; Fri, 15 Sep 1995 04:29:25 -0600 Message-Id: <14751.199509151029@onyx.dcs.warwick.ac.uk> Received: from localhost by onyx.dcs.warwick.ac.uk; Fri, 15 Sep 1995 11:29:33 +0100 To: info-hol@cs.byu.edu Subject: Research Positions at Warwick Date: Fri, 15 Sep 1995 11:29:31 +0100 From: Sara Kalvala Two Research Assistant posts are offered on an EPSRC-funded project on automated validation of programs. Candidates should have a good first degree in computer science or mathematics and an interest in programming logics and mechanical proof checking. Those with postgraduate degrees in computer science or appropriate research experience will be preferred and a higher level of appointment will be considered for postdoctoral candidates. Salary on the Research 1B or 1A Scale (#14,317-21,519 pa). Further information can be obtained by contacting either: Mathai Joseph Mathai.Joseph@dcs.warwick.ac.uk (01203) 523987 Sara Kalvala Sara.Kalvala@dcs.warwick.ac.uk (01203) 523179 Application forms (returnable by 29 September) from the Personnel Office, University of Warwick, Coventry CV4 7AL quoting ref: 4/A/95 (please mark clearly on envelope). - Sara Kalvala