Logic List Mailing Archive

Postdoctoral position in programming principles, logic, and verification, London (England), Deadline: 23 Jun 2019

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





--
[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