Recruiting Again – Research Fellow.

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:

https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5041404&ownertype=fair&jcode=1820659&vt_template=965&adminview=1

 

 

Professor of Information, Logic, and Security Head of Programming Principles, Logic, and Verification University College London

 

Turing Fellow, The Alan Turing Institute, London

 

d.pym@ucl.ac.uk

www.cs.ucl.ac.uk/people/D.Pym.html

www.cs.ucl.ac.uk/staff/D.Pym/

 

Assistant: Julia Savage, j.savage@ucl.ac.uk, +44 (0)20 7679 0327

 

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.

https://interfacereasoning.com

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:

https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTgwNzA2NSZ2dF90ZW1wbGF0ZT05NjUmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY194dHJhNTA0MTE3OC41MF81MDQxMTc4PTkyNzg2JnZhY3R5cGU9MTI3NiZwb3N0aW5nX2NvZGU9MjI0

Wardley Mapping and building situational awareness in the age of service ecosystems.

How do executives make sense of their complex digital ecosystem of cloud services? How do they gain situational awareness? One method gaining increasing popularity in a large number of organisations is Simon Wardley’s “Wardley Mapping” technique. With Simon, and with Roser Pujadas and Mark Thompson, we have been developing and researching of how and why this technique is used. The following paper, to be presented in June at ECIS Stockholm[1], outlines the basics of the technique and our early findings.

Pujadas, R, Thompson, M., Venters, W., Wardley, S. (2019) Building situational awareness in the age of service ecosystems. 27th European Conference on Information Systems, Stockholm & Uppsala, June 2019. 

Paper Abstract:

We discuss the little-explored construct of situational awareness, which will arguably become increasingly important for strategic decision-making in the age of distributed service ecosystems, digital infrastructures, and microservices. Guided by a design science approach, we introduce a mapping artefact with the ability to enhance situational awareness within, and across, horizontal value chains, and evaluate its application in the field amongst both IS practitioners and IS researchers. We make suggestions for further research into both construct and artefact, and provide insights on their use in practice.

Keywords: Situational awareness, Distributed systems, Design Science, Strategy, Digital Ecosystems, Digital Infrastructure, modularity, servitization.

[1] ECIS, the European Conference on Information Systems, is the meeting platform for European and international researchers in the field of Information Systems. This 27th edition will take place in Sweden. We will present our paper in the “Rethinking IS Strategy and Governance in the Digital Age” research track.

For more on Simon’s Wardley Mapping see: https://en.wikipedia.org/wiki/Wardley_map or https://www.wardleymaps.com/ 

Win of £6 million to research Digital Interfacing.

I am pleased to form part of a team, with computer science colleagues at UCL, Imperial and QMUL, who have been awarded a EPSRC programme grant for over £6 million to research the interfacing of digital systems. The overall research programme (titled Interface reasoning for interacting systems (IRIS)) aims to research the correct functioning of digital interfaces from technical, social, managerial and organisational perspectives – with my focus being on these latter three topics. Commercial partners involved in the programme include Amazon Web Services (UK), BT, Facebook (International), and Hewlett Packard.

Better understanding the effective management of interfacing is vital as companies and individuals harness new digital innovations and integrate them digitally within their processes and practices. Many digital innovations including the Internet of Things, SmartCities, Platforms and Artificial Intelligence, involve a myriad of systems owned and operated by a myriad of different companies which become tightly coupled together through their digital interfaces (e.g. though APIs and cloud computing). Yet little is known about how the organisations involved in such innovations define such digital interfaces, how they evolve, and in particular what organisational or management commitments are embedded within them.

The research project will formally start in January 2018, with recruitment for a post-doctoral researcher here the LSE starting shortly afterwards. The project will run until December 2023.

http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/R006865/1 

The text below provides a more academic introduction of the project.

Within the field of management, “interfaces” are of significant interest[1]; defining organisational boundaries which differentiate “insiders” and “outsiders” and providing connections across these boundaries. Interfaces are thus more broadly defined than engineered logical or digital interfaces as traditional conceived. Yet this broader understanding, in which digital interfaces are considered “boundary resources” for organisations (Eaton et al. 2015; Ghazawneh and Henfridsson 2013), is increasingly important since large-scale composite distributed organisations are emerging from the digital interfacing of organisational entities (e.g. through the growth of cloud computing[2] and the use of APIs). Within these organisational arrangements digital interfaces instantiate, represent, uphold and negotiate boundaries and separations. We therefore need to extend academic understanding of the digital interfaces between digital systems, and connect it to the social, economic and managerial boundaries and connections they create for organisations and society.

 1         Research Challenges

There is considerable research interest in boundaries within management and information systems. The internet allowed organisations to transform value-chains by digitally connecting with customers and suppliers; by harnessing cloud provided digital services (Venters and Whitley 2012); and by transforming physical products into digitally connected services (e.g. IoT – Internet of Things) (Porter and Heppelmann 2014). This transforms organisations leading to organisational arrangements whose defining characteristic is their constitution out of complex information technologies stretched across space and time, and defined by interconnections (Monteiro et al. 2014) (e.g. Netflix or Uber). Termed “cloud corporations” (Willcocks et al. 2014) such organisations evolve and change and challenge managerial and organisational assumptions of boundedness, stability, and even stable motivation of boundaries(Monteiro et al. 2014). Yet such boundary resources are poorly understood as are the wider ‘service ecosystem’ they form part of (Barros and Dumas 2006; Fishenden and Thompson 2013). There is a paucity of research on the specifics of the interface within such service ecosystems.

Consider for example Adur and Worthing[3] (a UK local council) harnessing (through Methods Consulting – a programme collaborator) Salesforce.com, Braintree Payments and MATSSoft for their services (Thompson and Venters 2015). Their value-chain leverages this extended digital supply chain such that the council is, to a significant extent, constituted from these services and must continually evolve its business, technology and management in the face of interface evolution of these components. This, it is argued, will instigate “profound changes in the ways that firms organise for innovation in the future”(Yoo et al. 2010). Reasoning about the interfaces by which such “cloud-corporations” emerge is however lacking. While sophisticated mathematical tools exist for systems modelling (Collinson et al. 2012) such tools are poorly adopted in practice. A significant focus then of this programme of work will be to seek to drive innovation in interface reasoning and systems modelling into tools for business leaders to apply in reasoning about the interfaces they are exploiting within their organisations. Further as new technologies emerge (e.g. block-chains and Machine Learning) and become available as services through interfaces so reasoning about the managerial, contractual and organisational challenges, and about the systemic nature of interfaces, is necessary. We will therefore research how computer science understanding of interfaces might be useful in understanding the social, managerial and organisational boundary.

The significance of researching interfaces as “boundary resources” has been recognised (Ghazawneh and Henfridsson 2013; Hanseth and Bygstad 2015; Yoo et al. 2010) particularly in studying software platforms whereby (Eaton et al. 2015) they are negotiated over time. These authors acknowledge we lack a coherent methodological framework for examining such boundaries – the gap we will ultimately address.

2        Scientific Approaches

This research is exploratory drawing on theoretical lenses from information systems, management and sociology as well as computer science. First we will systematically evaluate a range of theories and management ideas and evaluate their appropriateness for researching different forms of interfaces. Two specific theoretical lenses we consider within this exploratory research and application are:

Control and Coordination: Harnessing an interface cedes control for an action to a third party and devises mechanisms for control and defines boundaries. We will therefore seek to understand control and coordination in interfaces, and to devise mechanisms by which managers may better understand how they control or are controlled by interface design. This extends Venters previous work (Whitley et al. 2014) and links to ideas of control whereby interfaces are socially interpreted and significant in driving algorithmic agency and culture. This research will contribute to understanding platforms (de Reuver et al. 2017; Gawer and Cusumano 2002) whereby an interface provider is often dominant (e.g. Apple provides iOS to App developers) in providing boundary conditions for control (Eaton et al. 2015) though their boundary resources (Ghazawneh and Henfridsson 2013). This understanding will, we hope, complement and extend the resource focused modelling of control within distributed systems logic.

Temporality, emergence and evolution: Within commercial settings interfaces regularly change. This project will evaluate the relationships between evolutionary change across multiple interfaces, contexts of use, and organisational goals. Interfaces enable resources to be decoupled and recoupled generating new possibilities and increasing the liquidity of resources within value production. Exploring how interface verification alters resource liquidity may be an important avenue of study, drawing upon service dominant logic (Bardhan et al. 2010) to better understand interface consumption. Exploring how organisations can verify evolving and changing interfaces in a timely manner is an important research question for the wider research programme.

We will seek to explore the inter-organisational architectures which emerge through ecosystems: The prevalence of digital interfaces has allowed a unbundling of enterprise software from vertically integrated technology stacks (Chang and Gurbaxani 2012; Hagel and Singer 1999) towards widely distributed flat architectures spanning multiple global supplier networks (Friedman 2005; Susarla et al. 2010). Tracing and understanding this change in terms of enterprise architecture, and its impact on interfaces is relevant.

2         References

Bardhan, I., Demirkan, H., Kannan, O., and Kauffman, R. 2010. “Special Issue: Information Systems in Services,” Journal of Management Information Systems (26:4), pp. 5-12.

Barros, A. P., and Dumas, M. 2006. “The Rise of Web Service Ecosystems,” IT Professional (8:5), pp. 31-37.

Chang, Y. B., and Gurbaxani, V. 2012. “Information Technology Outsourcing, Knowledge Transfer, and Firm Productivity: An Empirical Analysis,” MIS quarterly (36:4), pp. 1043-1053.

Collinson, M., Monahan, B., and Pym, D. J. 2012. A Discipline of Mathematical Systems Modelling. College Publications.

de Reuver, M., Sorensen, C., and Basole, R. C. 2017. “The Digital Platform,” Journal of Information Technology (Forthcoming).

Eaton, B., Elaluf-Calderwood, S., Sørensen, C., and Yoo, Y. 2015. “Distributed Tuning of Boundary Resources: The Case of Apple’s  Ios Service System,” MIS Quarterly (39:1), pp. 217-243.

Fishenden, J., and Thompson, M. 2013. “Digital Government, Open Architecture, and Innovation: Why Public Sector It Will Never Be the Same Again,” Journal of Public Administration, Research, and Theory (23:4), pp. 977-104.

Friedman, T. 2005. The World Is Flat: A Brief History of the Globalized World in the 21st Century. London: Allen Lane.

Gawer, A., and Cusumano, M. 2002. Platform Leadership. Boston,MA: Harvard Business School Press.

Ghazawneh, A., and Henfridsson, O. 2013. “Balancing Platform Control and External Contribution in Third-Party Development: The Boundary Resources Model,” Information Systems Journal (23:2), pp. 173-192.

Hagel, J., and Singer, M. 1999. “Unbundling the Corporation,” Harvard business review (77), pp. 133-144.

Hanseth, O., and Bygstad, B. 2015. “Flexible Generification: Ict Standardization Strategies and Service Innovation in Health Care,” European Journal of Information Systems (24:6), pp. 654-663.

Monteiro, E., Pollock, N., and Williams, R. 2014. “Innovation in Information Infrastructures: Introduction to the Special Issue,” Journal of the Association for Information Systems (15:4), p. I.

Porter, M., and Heppelmann, J. 2014. “How Smart, Connected Products Are Transforming Competition,” Harvard Business Review).

Susarla, A., Barua, A., and Whinston, A. B. 2010. “Multitask Agency, Modular Architecture, and Task Disaggregation in Saas,” Journal of Management Information Systems (26:4), pp. 87-118.

Thompson, M., and Venters, W. 2015. “The Red Queen Hypothesis: Exploring Dynamic Service Ecosystems,” in: 4th Innovation in Information Infrastructures (III) Workshop, P. Constantinides (ed.). Warwick, UK.

Venters, W., and Whitley, E. 2012. “A Critical Review of Cloud Computing: Researching Desires and Realities,” Journal of Information Technology (27:3), pp. 179-197.

Whitley, E., Willcocks, L., and Venters, W. 2014. “Privacy and Security in the Cloud: A Review of Guidance and Responses,” Journal of Information technology and information management).

Willcocks, L., Venters, W., and Whitley, E. 2014. Moving to the  Cloud Corporation. Basingstoke: Palgrave Macmillan.

Yoo, Y., Henfridsson, O., and Lyytinen, K. 2010. “The New Organizing Logic of Digital Innovation: An Agenda for Information Systems Research,” Information Systems Research (21:4), pp. 724-735.

[1] E.g. The Academy of Management (AoM) conference theme for 2017 is “at the Interface” (premier global academic conference in management) and defines interfaces in these terms.

[2] Willcocks, L., W. Venters and E. Whitley (2014). Moving To The Cloud Corporation. Basingstoke, Palgrave Macmillan.

[3] https://www.publictechnology.net/articles/features/adur-and-worthing%E2%80%99s-journey-%E2%80%98government-platform%E2%80%99

 

Photo (cc) foto1897 with thanks!