[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]
www.cs.ucl.ac.uk/people/D.Pym.html
www.cs.ucl.ac.uk/staff/D.Pym/
Assistant: Julia Savage, [email protected], +44 (0)20 7679 0327
