Logic List Mailing Archive

Research Associate positions in programming principles, logic, and verification, London (England), Deadline: 4 May 2018

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@ucl.ac.uk, 
http://www.cs.ucl.ac.uk/staff/D.Pym/.

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

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