I am looking to recruit someone who can work in the interdisciplinary space between information systems and formal modelling. The aim is to work with a large industrial partner to build and test models (of various kinds) of systems at scale. Ideally we would find someone directly able to do that – but realistically the candidate is likely to have a stronger flavour in one of these areas.
Research Fellow – Programming Principles, Logic and Verification Group, – Ref:1820659
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. The Information Systems and Innovation group (ISIG) at the London School of Economics is well known for its research in the social, political and economic dimensions of information and communications technology.
The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym, uses logical and algebraic methods, as well as management research theory, 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 role will be jointly managed by David Pym at UCL and Will Venters at LSE’s Department of Management — a world-leading centre for Information Systems research.
The PPLV group at UCL conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification.
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.
Ideally you will have a technical/engineering background with experience in business modelling, business analysis, programming, and formal methods, and an understanding of qualitative and quantitative research techniques. An understanding of information systems and management research would be highly desirable, as would experience of action research or design science.
Good communication skills are essential.
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.
Appointment at Grade 7 is dependent upon having been awarded a PhD; if this is not the case, initial appointment will be at research assistant Grade 6B (salary £30,922 – £32,607 per annum) with payment at Grade 7 being backdated to the date of final submission of the PhD thesis.
Further details and how to apply:
—
Professor of Information, Logic, and Security Head of Programming Principles, Logic, and Verification University College London
Turing Fellow, The Alan Turing Institute, London
www.cs.ucl.ac.uk/people/D.Pym.html
Assistant: Julia Savage, j.savage@ucl.ac.uk, +44 (0)20 7679 0327
Binary Blurring 