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.