Chair in Theoretical Computer Science at Edinburgh University
[In case there are any Types readers not familiar with Edinburgh's
reputation in the area, interest in type systems would be _very_
relevant for this position. --BCP]
A Chair in Theoretical Computer Science is available in the Division of
Informatics at the University of Edinburgh. For further particulars and
details of application procedures, see:
Please note that the closing date is October the 13th.