伦敦大学学院招收博士生:交互系统中的推理

发布时间:2018-12-05 来源:本站原创 作者:本站编辑   浏览次数:

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), James (j.brotherston@ucl.ac.uk), or Will (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.


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

Turing Fellow, The Alan Turing Institute, London

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