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 al-Rifaie ( Tu...


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 Information Security, Luxembourg, LUXEMBOURG

The University of Luxembourg seeks to hire an outstanding doctoral
 researcher at its Interdisciplinary Centre for Security, Reliability
 and Trust( (SnT).

 The successful candidate will participate in the activities of the
 SaToSS( research group led by Prof. Dr. Sjouke
 Mauw. The SaToSS group is working on formalizing and applying formal
 reasoning to real-world security problems and trust issues. The research
 topics of the group include: security protocols, security modeling,
 formal methods for security, socio-technical aspects of security, risk
 management, privacy, verification, etc.

 Your role
 The position is within the national project Attack-Defense Trees:
 Theory Meets Practice (ADT2P). ADT2P is a follow-up project of a
 recently finalized project Attack
 Trees ( The main tasks of the
 Ph.D. student will be to
 - Develop techniques for efficient representation of large-scale
    security models,
 - Introduce algorithms for quantitative analysis of such models,
 - Integrate the developed techniques with existing risk assessment
    methods and tools,
 - Implement the obtained results in a computer tool,
 - Conduct case studies together with the project partners from
 - Co-supervise master students.

 Your Profile
 The candidate is expected to have:
 - A Master degree in computer science or mathematics,
 - A proven interest in security,
 - Background in formal methods,
 - Excellent written and oral English skills.

 We offer
 The University offers a three year appointment (extension up to 4 years
 in total is possible). The University offers highly competitive salaries
 and is an equal opportunity employer. You will work in an exciting
 international environment and will have the opportunity to participate
 in the development of a newly created research center.

 Applications should be written in English and include the following
 - Cover letter indicating the research area of interest and your
 - Curriculum Vitae (including your contact address, work experience,
    list of publications),
 - A research statement addressing the topic of the position (max 1 page),
 - A short description of your Master work (max 1 page),
 - Transcript of grades from all university-level courses taken,
 - Contact information for 3 referees.

 Applications should be submitted electronically via the on-line
 recruitment portal of the University of Luxembourg at

 Deadline for applications: January 19, 2014.

 Contact information
 For further inquiries please contact:
 Prof. Dr. Sjouke Mauw ( or
 Dr. Barbara Kordy (

 For more information about this vacancy please check