Logic List Mailing Archive

Four PhD student positions on interface reasoning for interacting systems, London (England)

PhD Studentships: Interface Reasoning for Interacting Systems

We are seeking to appoint 4 talented and highly motivaterd PhD students in 
UCL's Programming Principles, Logic, and Verification group (PPLV, 
http://pplv.cs.ucl.ac.uk/welcome/) associated with the EPSRC-funded 
project "Interface Reasoning for Interacting Systems (IRIS)", led by Prof. 
David Pym, with James Brotherston, George Danezis, Byron Cook, and Peter 
O'Hearn. The project also involves Will Venters (LSE, Management), 
Alastair Donaldson and John Wickerson (Imperial College), and Edmund 
Robinson (QMUL). Joint supervision with LSE may be possible for suitable 
candidates and projects.

The IRIS project aims to deliver formal reasoning about the behaviour of 
complex systems at all levels --- from computer code and security 
protocols to distributed systems and business organisations --- by 
reasoning about the interactions between their components. For more 
information, see https://interfacereasoning.com. Topics of interest 
include:

-  Logic: basic theory, foundations of verification
- Verification: basic theory and tools
- Automated reasoning: theory and tools
- Logic: foundations and tools for systems modelling
- Systems security: logical theory and modelling tools
- Tools for modelling and reasoning about organizational architectures.

It is possible that two of these positions will be supported, for 
qualified and interested students working on suitable projects, by Amazon 
AWS.

We are looking for students with an excellent first degree in mathematics, 
computer science, information systems, philosophy, or another mathematical 
discipline, have a strong background and interest in logic, verification, 
security, or organizational architecture and management. Ideally, 
candidates will also have an excellent, relevant Master?s degree and 
strong programming skills.

The positions are available from 23 September 2019 for 4 years. 
Amazon-supported positions may be available at an earlier date. The 
starting stipend will be approximately £17,000, with an approximate annual 
uplift of 3%.

For an informal discussion, please contact David 
(d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>), James 
(j.brotherston@ucl.ac.uk<mailto:j.brotherston@ucl.ac.uk>), or Will 
(w.venters@lse.ac.uk<mailto:w.venters@lse.ac.uk>).

To apply, follow the instructions at

http://www.cs.ucl.ac.uk/prospective_students/phd_programme/funded_scholarships/

and indicate clearly on your application that you are applying for this 
Scholarship ("Interface Reasoning for Interacting Systems") under the 
scholarships section, or in your personal statement.

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