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.