Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 16 Sep 1992 12:47:51 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05940; Wed, 16 Sep 92 04:37:58 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ib.rl.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA05935; Wed, 16 Sep 92 04:37:49 -0700 Received: from UKACRL.BITNET by ib.rl.ac.uk (IBM VM SMTP V2R1) with BSMTP id 0842; Wed, 16 Sep 92 12:37:25 BST Received: from RL.IB by UKACRL.BITNET (Mailer R2.07) with BSMTP id 5896; Wed, 16 Sep 92 12:37:24 BST Received: from RL.IB by UK.AC.RL.IB (Mailer R2.07) with BSMTP id 5349; Wed, 16 Sep 92 12:37:23 BST Via: UK.AC.ED.CASTLE; 16 SEP 92 12:37:13 BST From: D MacKenzie Subject: Post in 'Sociology of Proof' To: info-hol@edu.uidaho.cs.ted Organisation: Edinburgh University Telephone: 031 650 3980 (secy. on 650 4000) Date: Wed, 16 Sep 92 12:36:12 GMT Message-Id: <9209161236.aa11184@castle.ed.ac.uk> University of Edinburgh Departments of Sociology and Artificial Intelligence Research Fellow in the Sociology of Mathematical Proof Applications are invited for a post of research fellow, working with Donald MacKenzie (Sociology) and Alan Bundy (Artificial Intelligence) on an ESRC-funded project investigating sources of social variation in what kinds of argument count for whom, under what circumstances, as mathematical proofs. The project will focus on disputes over the acceptability of proofs produced by computers, particularly where such proofs are of the correctness of the design of computer systems critical to human safety. The research will involve examining technical literature and interviewing mathematicians and computer scientists in Britain and the U.S. A PhD (or equivalent research experience) in a relevant area (such as mathematics, computer science, artificial intelligence or sociology of science) is required. The appointment will begin on 1 December 1992 (or as soon after that as possible) for twenty months. Salary will be on the 1A research scale, normally no higher than point 4 (14,359 pounds; under review). Two copies of applications, including a c.v. and the names of two referees, and quoting ref. no. 920266 should be sent to the Personnel Office, University of Edinburgh, 1 Roxburgh Street, Edinburgh EH8 9TB, from whom further particulars can be obtained. (An e-mail copy of further particulars can be obtained from D.MacKenzie@edinburgh.ac.uk) Overseas applicants need send only one copy of their applications, and if necessary can send them by fax (44-31-650 6509). The closing date is 12 October 1992, and interviews are planned for 26 October.