Lecturer position in Theoretical Computer Science (Logic and Algorithms), Sheffield (UK)

As part of an ambitious plan for growth, the Department of Computer Science of The University of Sheffield is seeking to appoint a Lecturer in the broad field of Theoretical Computer Science, including the design and analysis of algorithms, the logical and semantic foundations of programming and hardware/software verification. Researchers in the area of computational complexity, where the interests of the Algorithms and Verification groups in the Department overlap, are particularly encouraged to apply.