News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Research fellowship in programming principles, logic & verification, London (England)

Deadline: Sunday 18 April 2021

UCL, London has a Research position open for a Research Fellow in Programming Principles, Logic, and Verification: Systems Security Modelling. Applicants must hold, or be about to receive, a PhD in rigorous computer science, or a closely related area.

The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. This post will contribute to the EPSRC-funded IRIS project: Interface Reasoning for Interacting Systems (IRIS). This project, led by Professor 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 purpose of this job is to develop and apply the methodology and tools required to construct models that capture the structure, dynamics, and policy of organizations. This will involve working with companies, including BT and HP Labs, to create models to help them make decisions about their real-world challenges.

Please note that this newsitem has been archived, and may contain outdated information or links.