[TYPES/announce] Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems

[Pym, David]

[Please share widely. Apologies for cross-postings.]

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

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 at ucl.ac.uk; http://www0.cs.ucl.ac.uk/staff/D.Pym/) 
or Will Venters (w.venters at 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




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

Turing Fellow, The Alan Turing Institute

d.pym at ucl.ac.uk
www.cs.ucl.ac.uk/people/D.Pym.html
www.cs.ucl.ac.uk/staff/D.Pym/