Research Associate positions in programming principles, logic, and verification, London (England)

The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym, uses logical and algebraic methods to understand the compositional structure of systems and their communications, seeking to develop analyses at all scales, from code through distributed systems to organizational structure, generically and uniformly.

The PPLV group has two positions available at UCL Grade 7. Applicants must hold, or be about to receive, a PhD in logic, theoretical computer science, or a closely related area. An interest in systems modelling and verification, together with underlying logical and mathematical theory, is essential. Advanced programming skills and knowledge of, or some interest in, distributed systems and/or information and systems security are highly desirable. The successful candidate will conduct conceptual, mathematical, and computational research, which be foundational and/or applicable, in these topics. The funding for this vacancy is for 3 years in the first instance. UCL vacancy reference: 1719249.