PhD studentship at Edinburgh for October 2000

To: types@cis.upenn.edu
Subject: PhD studentship at Edinburgh for October 2000
From: Ian.Stark@ed.ac.uk
Date: Tue, 1 Aug 2000 11:42:43 +0100 (BST)
CC: Ian.Stark@ed.ac.uk

( If possible, please replace previous not-obviously-types-relevant
  job ad with this one.  Thanks, Ian )

PhD studentship starting October 2000:

     Reasoning with Names and Identity in Programming Languages

           Laboratory for Foundations of Computer Science
          Division of Informatics, University of Edinburgh

Applications are invited for a PhD student to work on reasoning
methods for functional and object-oriented programming languages.
Please see the following web page for further information.

     http://www.dcs.ed.ac.uk/home/stark/reanip/studentship.html

Types relevance: the student's component of the project centres on
      implementing a logic for names using dependent types in Coq.

--------------------------------------------------------------------
Dr Ian Stark		          http://www.dcs.ed.ac.uk/home/stark
LFCS, Division of Informatics, The University of Edinburgh, Scotland