Postdoctoral position in programming principles, logic, and verification, London (England)

UCL/LSE  has an open position for a Research Fellow in Programming Principles, Logic, and Verification (Ref:1807065), in the EPSRC-funded project "Interface Reasoning for interacting Systems" (IRIS).

You will work with an interdisciplinary team consisting of computer scientists, Information Systems researchers, logicians and modellers to explore the modelling of the complex distributed digital ecosystems used by today's large enterprises. This fellowship will involve working with industry partners to analyse and model their ecosystems. Ideally you will have a technical/engineering background with experience in programming, formal methods, business modelling and business analysis, and an understanding of qualitative and quantitative research techniques. Good communication skills are essential.

The role will be jointly managed by David Pym at UCL and Will Venters at LSE. While based at UCL, the role will involve working at the LSE for around two days per week where you will have a desk. Th post is funded for 12 months in the first instance with a possible extension up to 36 months.