[TYPES/announce] Research Fellowship at UCL and LSE for the IRIS project

Pym, David d.pym at ucl.ac.uk
Thu Aug 22 08:41:25 EDT 2019


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 at 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 at ucl.ac.uk, +44 (0)20 7679 0327



More information about the Types-announce mailing list