PhD studentship at Edinburgh for October 2000

( 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.


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