Lecturer/ Associate Professor in Programming Principles, Logic, and Verification (PPLV)

, to join UCL Computer Science’s Principles of Programming, Logic, and Verification (PPLV) research group. The appointed candidate... in Philosophy, Logic, and AI. About the role The post is in UCL Computer Science’s PPLV research group (Programming Principles...