[TYPES] PhD grant: Computational Applications of Nominal Sets

[Maribel Fernandez]

PhD Studentship in Computer Science
       King's College London
 
Applications are invited for a PhD studentship at King's College London,
as part of the project Computational Applications of Nominal Sets
(joint with the University of Cambridge), funded by EPSRC.

The studentship can start any time between October 2005 and
September 2006. 
Relevant research areas for this grant are:
    * programming language semantics
    * theorem proving
    * equational theories
    * nominal logic

Please see the project web page for further information and how to apply:
  http://www.dcs.kcl.ac.uk/staff/maribel/CANS.html