Faculty position in Programming Principles, Logic and Verification, London (U.K.)

The Department of Computer Science at University College London (UCL) invites applications for a faculty position in the area of Programming Principles, Logic, and Verification. We seek world-class talent; candidates must have an outstanding research track record.

In Programming Principles, Logic, and Verification, our interests span theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. We have outstanding connections with cutting-edge industry and excellent connections with other groups at UCL, including Systems and Networks, Information Security, and Software Systems Engineering.

Closing Date

6 Mar 2015

Closing Date 6 March 2015. Reference number: 1450731. Further details about UCL CS, the post, and how to apply may be found on UCL's Jobs site, at https://atsv7.wcn.co.uk/search_engine/. Or contact Prof. David Pym (Head of Programming Principles, Logic and Verification) at d.pym at ucl.ac.uk or Prof. John Shawe-Taylor (Head of Department) at j.shawe-taylor at ucl.ac.uk.