[TYPES/announce] Research Positions in Logic & Verification at UCL (amended closing date: 14 May 2018)

[Pym, David]

[Apologies for cross-postings, but please share widely. Thank you.]

Research Associates in Programming Principles, Logic, and Verification (PPLV)
University College London
London, UK

Two positions available.

The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym, uses logical and algebraic methods 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 successful candidate will conduct conceptual, mathematical, and computational research, which be foundational and/or applicable, in these topics.

The IRIS project, funded as a UK EPSRC Programme Grant, is a collaboration involving James Brotherston, Byron Cook, George Danezis, Peter O’Hearn,
and David Pym at UCL, Alastair Donaldson at Imperial College, Will Venters at LSE, and Edmund Robinson at QMUL.

Industry partners include Amazon AWS, BT, Facebook, HP Labs, GridPP, and Methods Group.

Applicants must hold, or be about to receive, a PhD in logic, theoretical computer science, or a closely related area. An interest in systems modelling and 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.

The appointments will be on UCL Grade 7. Salary: £34,635 to £41,864 per annum, inclusive of London Allowance.
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,316 - £31,967 per annum) with payment at Grade 7 being backdated to the date of final submission of the PhD thesis.
Full-time, fixed-term contract. The funding for this vacancy is for 3 years in the first instance.

Applicants should apply online at: https://www.ucl.ac.uk/human-resources/working-ucl/jobs-ucl > Search for a job > Reference 1719249.

If you have any queries regarding the vacancy or the application process, please contact Prof. David Pym at d.pym at ucl.ac.uk<mailto:d.pym at ucl.ac.uk>,
http://www.cs.ucl.ac.uk/staff/D.Pym/.

Closing Date: 14 May 2018. Latest time for the submission of applications: 23:59 BST.
UCL vacancy reference: 1719249


--
Professor of Information, Logic, and Security
Head of Programming Principles, Logic, and Verification
University College London

Turing Fellow and UCL University Liaison Director
Alan Turing Institute

d.pym at ucl.ac.uk<mailto:d.pym at ucl.ac.uk>
www.cs.ucl.ac.uk/people/D.Pym.html<http://www.cs.ucl.ac.uk/people/D.Pym.html>
www.cs.ucl.ac.uk/staff/D.Pym/<http://www.cs.ucl.ac.uk/staff/D.Pym/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180508/14f4bc73/attachment-0001.html>