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, 8 Apr 1994 09:20:04 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA13318; Fri, 8 Apr 1994 02:10:05 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from sun2.nsfnet-relay.ac.uk by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA13314; Fri, 8 Apr 1994 02:10:02 -0600 Via: uk.ac.glasgow-poly; Fri, 8 Apr 1994 09:10:28 +0100 From: dajo Date: Fri, 8 Apr 94 09:01:04 BST Message-Id: <5016.9404080801@gcal.ac.uk> To: info-hol@leopard.cs.byu.edu Subject: Studentship Research Studentship in the Measurement of Formal Methods The Software Measurement Laboratory is offering a Research Studentship to begin in 1994. The successful applicant will be expected to pursue a higher degree in the general area of the measurement of the effectiveness of formal methods in the production of computer software. Prospective students should hold a good honours degree in an appropriate subject, or an equivalent; relevant specialised knowledge and experience will be advantageous. Applications may be made initially by submitting to the laboratory a full curriculum vitae and three references either by mail or by email (preferred, but ASCII only); applications should arrive by noon on 18th April 1994. Also it will be necessary to complete university application forms; the studentship identification is MAT5. Informal enquiries may be made by contacting David Outteridge, email is preferred if feasible. The Software Measurement Laboratory (SML) is part of the Department of Mathematics at Glasgow Caledonian University and has as its primary aim the improvement of the quality of industrial software. SML is concerned with various metrics of both the process of software production and the product. These metrics are designed to quantify attributes such as reliability, maintainability, and productivity. SML works closely with industry and national and European research organisations, and has a record of successful project results. SML depends on external funding. SML is growing in a number of domains. Staff have been recruited; the customer base is expanding; and an MSc course emphasising and teaching the work of the laboratory is anticipated for 1995. New projects include research activities in Machine Learning and the application of Formal Methods to industrial design. Information on the University, application forms, and other information, can be obtained from: Personnel Department Glasgow Caledonian University 1 Park Drive Glasgow G3 6LP Scotland UK David Outteridge Software Measurement Laboratory Glasgow Caledonian University Scotrail House S164 Cowcaddens Road Glasgow G4 0BA Scotland UK Direct (44) 41 331 3325 Office (44) 41 331 3642 dajo@gcal.ac.uk