Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 1 Jul 1993 09:58:43 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA19358; Thu, 1 Jul 93 01:51:04 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA19353; Thu, 1 Jul 93 01:50:58 -0700 Received: from dunlin.cl.cam.ac.uk (user lcp (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Thu, 1 Jul 1993 09:50:57 +0100 To: isabelle-users@cl.cam.ac.uk, info-hol@ted.cs.uidaho.edu Subject: Job Opportunity Date: Thu, 01 Jul 93 09:50:43 +0100 From: Lawrence C Paulson Message-Id: <"swan.cl.cam.:027320:930701085118"@cl.cam.ac.uk> For your information... Larry Paulson In late summer applications will be invited for a Professorship in the Computer Laboratory, University of Cambridge, available from 1 October 1994 following the retirement of Professor D.J. Wheeler FRS. The Chair will be advertised without restriction of field within Computer Science. Anyone who would like to be sent full details when they are available is invited to lodge his or her name and address with Angela Leeke (akl@cl.cam.ac.uk). Recipients of this message are welcome to pass it on to anyone they know who may be interested. Roger Needham