[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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....@ucl.ac.uk;
http://www0.cs.ucl.ac.uk/staff/D.Pym/)
or Will Venters (w.vent...@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....@ucl.ac.uk
www.cs.ucl.ac.uk/people/D.Pym.html
www.cs.ucl.ac.uk/staff/D.Pym/
