AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...



AISB opportunities Bulletin Item

PhD student position in logic & security, London, UK!/?project=206

PhD studentship in logic & security at UCL

University College London ? Computer Science ? Info Sec and PPLV ? Prof David Pym & Prof Angela 

Applications are invited for a PhD position at the Information Security Group of the UCL 
Department of Computer Science, funded by the Government Communications Headquarters (GCHQ). 
The successful candidate will also be a member of the Programming Principles, Logic, and 
Verification (PPLV) Group. The studentship is open only to UK nationals because of the funder's 
eligibility requirements. The successful candidate will be required to undertake an internship 
of approximately 2 - 4 weeks per year at GCHQ's headquarters in Cheltenham.
To be considered for this studentship, candidates must therefore be prepared to undergo GCHQ's 
security clearance procedures.

The successful candidate will develop logical and mathematical models of access control policies 
in physical and information systems, including the architectural and behavioural issues that 
affect the extent to which an implemented system complies with policies. The aim of the project 
is to develop a framework for modelling access control policies and their implementation in 
system architectures and will provide tools for reasoning about the circumvention of policies 
in the presence of behaviours that are driven by competing priorities (the policy-implementation 
gap). Thus the project will address problems that of significant concern in business contexts 
using rigorous mathematical and/or computational tools. The project build on and integrate 
aspects three scientific literatures: within computer/information security, the study of 
access control models, such as Bell La Padula, Biba, and Chinese Walls; within logic/theoretical 
computer science, frameworks for modelling and reasoning about access control policies in system 
contexts; and, within usable security and security economics, the study of how individuals and 
organizations place different values on the benefits and costs of behaviours associated with 
security policies.

All research that is undertaken at UCL as part of the studentship will be unclassified and 
published in the open literature.

The start-date for the studentship will be no later than October 2017 (this cannot be delayed).

We expect a candidate to have at least a strong 2:1 degree in Mathematics or Computer Science, 
or to have successfully completed an MSc course in a related area. Prior knowledge of some of 
logic, semantics, information/computer security, mathematical modelling using tools such as 
Matlab, and empirical methods in data collection and analysis would be advantageous.

Applications should be submitted to University College London using the "Apply" buttons on this 

If you have any queries about submitting an application, please email Sarah Turnbull at

Your application must reach the Department by 28 February, 2017.