Text File

Aucbvax.6028 fa.arpa-bboard utzoo!decvax!ucbvax!GORDON@USC-ISIF Mon Feb 1 23:07:25 1982 Positions at Cambridge and Edinburgh Universities From: GORDON at USC-ISIF

Two three-year postdoctoral research positions are available from 1 Oct. 1981 (or soon after) on a project entitled "Methodological Studies in Description and Verification" to be conducted jointly by Robin Milner at Edinburgh and Mike Gordon at Cambridge. There will probably be one position at each University, but other arrangements are possible. The goal of the proposed research is to extend the range of applicability of the LCF proof generating system. Enhancement of the functional metalanguage will be a significant subgoal. We are seeking applicants with a strong background in semantics, verification, automatic theorem-proving or logic. If you are interested and would like more details please write to:

Robin Milner, Department of Computer Science, James Clerk Maxwell Building, The King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, U.K.

----------------------------------------------------------------- gopher://quux.org/ conversion by John Goerzen <jgoerzen@complete.org> of http://communication.ucsd.edu/A-News/

This Usenet Oldnews Archive article may be copied and distributed freely, provided:

1. There is no money collected for the text(s) of the articles.

2. The following notice remains appended to each copy:

The Usenet Oldnews Archive: Compilation Copyright (C) 1981, 1996 Bruce Jones, Henry Spencer, David Wiseman.