I’m recruiting! Post-doc position at UCL/LSE: Interface Reasoning for Interacting Systems Research Fellow

I am recruiting for a joint UCL/LSE position examining the modelling of interfacing. The role will be split between UCL and LSE (managed by Prof. David Pym and myself) and will focus on modelling complex distributed systems. It would strongly suit an information systems PhD with a technical/computing/IT consulting type background. 

Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems Research Fellow in Programming Principles, Logic, and Verification

Interface Reasoning for interacting Systems (IRIS) — a project funded by the UK’s EPSRC.


Today’s large enterprises are harnessing a complex mix of cloud computing services, APIs, legacy applications and service-oriented architectures to build complex information systems. You will work with an interdisciplinary team consisting of computer scientists, Information Systems researchers, logicians and modellers to explore the modelling of such complex distributed digital ecosystems. 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. An understanding of information systems and management would be highly desirable, as would experience of action research or design science. 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.

Applicants must hold, or be about to receive, a PhD with relevant expertise and research interests; for example, in systems modelling, software engineering, formal methods, business analysis, and/or information systems. 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 (£35,328 – £42,701 per annum) 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.

Appointment is subject to UCL’s terms and conditions.

Th post is funded for 12 months in the first instance with a possible extension up to 36 months.

Closing date 23 June 2019.

Informal enquires to David Pym (d.pym@ucl.ac.uk; http://www0.cs.ucl.ac.uk/staff/D.Pym/)

or Will Venters (w.venters@lse.ac.uk; https://www.willventers.com).


For full details and to apply, please see UCL’s recruitment page for this position:


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.