Lectureship or Associate Professorship in programming principles, logic, & verification, London (England)

The Department of Computer Science at University College London invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification (PPLV). Candidates will be expected to carry out research, teaching, and administrative duties within the Department, especially in the areas of Programming Principles, Logic, and Verification.

The PPLV group conducts world-leading research broadly in logic, semantics, and program and systems verification and their supporting mathematical and conceptual fields. The group contributes to the delivery of undergraduate and graduate programs and supports a lively and diverse community of PhD students and post-doctoral researchers. The group has very substantial research funding from a variety of sources and has excellent connections with the world-class tech community that is located close-by in London and elsewhere. For this position, we particularly welcome applications from candidates with interests in the theory or practice of program and systems verification.