(Senior) Lectureships in computer science (including logic), London (England)

The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to tenure-track Assistant/Associate Professorships) who can contribute to research and teaching in the foundations and practice in Computer Science. 

We are recruiting in particular in Artificial Intelligence (including but not limited to knowledge representation and reasoning, planning, game theory and social choice theory) and in Theoretical Computer Science (including but not limited to logic and semantics, algorithms and complexity theory).