Lectureship / Associate Professorship in programming principles, logic, & verification, London (UK)

The Department of Computer Science at University College London (UCL) invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification (PPLV). Our interests span theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving.

We seek world-class talent; candidates must have an outstanding research track record.

UCL faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the management of their department and the College.