<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class=""><br class="">
</div>
<div class="">[Apologies for cross-postings, but please share widely. Thank you.]<br class="">
<br class="">
Research Associates in Programming Principles, Logic, and Verification (PPLV) <br class="">
University College London <br class="">
London, UK <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"></span><br class="">
<br class="">
Two positions available. <br class="">
<br class="">
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.<br class="">
<br class="">
The IRIS project, funded as a UK EPSRC Programme Grant, is a collaboration involving James Brotherston, Byron Cook, George Danezis, Peter O’Hearn, <br class="">
and David Pym at UCL, Alastair Donaldson at Imperial College, Will Venters at LSE, and Edmund Robinson at QMUL. <br class="">
<br class="">
Industry partners include Amazon AWS, BT, Facebook, HP Labs, GridPP, and Methods Group. <br class="">
<br class="">
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. <br class="">
<br class="">
The appointments will be on UCL Grade 7. Salary: £34,635 to £41,864 per annum, inclusive of London Allowance.<br class="">
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.<br class="">
Full-time, fixed-term contract. The funding for this vacancy is for 3 years in the first instance. <br class="">
<br class="">
Applicants should apply online at: <a href="https://www.ucl.ac.uk/human-resources/working-ucl/jobs-ucl" class="">https://www.ucl.ac.uk/human-resources/working-ucl/jobs-ucl</a> > Search for a job > Reference 1719249.<br class="">
<br class="">
If you have any queries regarding the vacancy or the application process, please contact Prof. David Pym at <a href="mailto:d.pym@ucl.ac.uk" class="">d.pym@ucl.ac.uk</a>, <br class="">
<a href="http://www.cs.ucl.ac.uk/staff/D.Pym/" class="">http://www.cs.ucl.ac.uk/staff/D.Pym/</a>. <br class="">
<br class="">
Closing Date: 14 May 2018. Latest time for the submission of applications: 23:59 BST. <span class="Apple-tab-span" style="white-space: pre;">
</span><br class="">
UCL vacancy reference: 1719249 <br class="">
<br class="">
<br class="">
--<br class="">
Professor of Information, Logic, and Security <br class="">
Head of Programming Principles, Logic, and Verification<br class="">
University College London<br class="">
<br class="">
Turing Fellow and UCL University Liaison Director<br class="">
Alan Turing Institute<br class="">
<br class="">
<a href="mailto:d.pym@ucl.ac.uk" class="">d.pym@ucl.ac.uk</a><br class="">
<a href="http://www.cs.ucl.ac.uk/people/D.Pym.html" class="">www.cs.ucl.ac.uk/people/D.Pym.html</a><br class="">
<a href="http://www.cs.ucl.ac.uk/staff/D.Pym/" class="">www.cs.ucl.ac.uk/staff/D.Pym/</a></div>
</div>
</body>
</html>