Research Fellowship for modelling of large enterprise systems (1+2y), London (England)

University College London is seeking to appoint a Research Fellow for examining modelling of large enterprise systems and architectures. This fellowship will involve working with industry partners to analyse and model their digital ecosystems. While based at UCL, the role will involve working at the LSE for around two days per week where you will have a desk. The post is funded for 12 months in the first instance with a possible extension up to 36 months.

The role will be jointly managed by Prof. David Pym at UCL and Will Venters at LSE's Department of Management. The PPLV group at UCL conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. Applicants must hold, or be about to receive, a PhD in information systems, logic, theoretical computer science, or a closely related area. An interest in systems modelling 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.