PhD student scholarships in theoretical computer science, Birmingham (U.K.)

The Theoretical Computer Science group at the University of Birmingham welcomes applications for PhD study. The group consists of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to lambda-calculus and computational effects, from topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure.

For more information on the research group, see http://www.cs.bham.ac.uk/research/groupings/theory/. Information about PhD applications may be found at http://www.cs.bham.ac.uk/admissions/postgraduate-research/.