Logic List Mailing Archive

Research Fellowship for modelling of large enterprise systems (1+2y), London (England)

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam