Logic List Mailing Archive

PhD student position in logic and verification, London (England), Deadline: 17 Jul 2018

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

A PhD studentship in the area of logic and verification is available at 
UCL's PPLV group (see http://pplv.cs.ucl.ac.uk/welcome/).

Details at 
http://www.cs.ucl.ac.uk/prospective_students/phd_programme/funded_scholarships/ 
Closing date is 17 July 2018.

The studentship is aligned with the IRIS project 
(https://uclirisproject.wordpress.com) and will be supervised by Professor 
David Pym (http://www.cs.ucl.ac.uk/staff/D.Pym/) and Dr. James Brotherston 
(http://www0.cs.ucl.ac.uk/staff/J.Brotherston/).

The area of the studentship is in logic and its application to program and 
systems verification, with a particular interest in the development and 
application of logical tools based on bunched logic, separation logic, and 
concurrent separation logic (and related ideas) and their use to reason 
about the correctness of interfaces between programs, systems, and 
organizations. The project may range from theoretical work in logic 
(semantics and proof theory) through the theory of system modelling tools 
to the design and implementation of modelling and verification tools.

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

Candidates should normally have or be about to complete a Master's level 
qualification in mathematics or computer science, with a strong component 
in logic or theoretical computer science.

The studentship is available from September/October 2018. Candidates 
should be UK or EU nationals.

Interested candidates may contact David Pym (d.pym@ucl.ac.uk) or James 
Brotherston (j.brotherston@ucl.ac.uk) for more information.

To apply, please follow the instructions at 
http://www.cs.ucl.ac.uk/prospective_students/phd_programme/applying/

Please note that the closing date for this studentship is 17 July 2018.


--
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@ucl.ac.uk
www.cs.ucl.ac.uk/people/D.Pym.html
www.cs.ucl.ac.uk/staff/D.Pym/

Assistant: Julia Savage, j.savage@ucl.ac.uk, +44 (0)20 7679 0327





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