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 <
[email protected]>
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.
