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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB opportunities Bulletin Item

Two postdoctoral positions in information security, Luxembourg, LUXEMBOURG

Two Post-doc Positions in Information Security (M/F)
The University of Luxembourg seeks to hire two outstanding post-doctoral
 researchers at its Interdisciplinary Centre for Security, Reliability
 and Trust( (SnT).

 The successful candidates will participate in the activities of the
 SaToSS( 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 SaToSS group is currently looking for two post-doctoral researchers.

 The first 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
 post-doc hired on this project will be to:
 - Devise methods for (semi-)automatic creation of security models from
    attack patterns,
 - Develop techniques and algorithms for quantitative analysis of
    large-scale security models,
 - Integrate the attack-defense tree formalism with existing risk
    assessment methods,
 - Validate the obtained results on realistic case studies conducted
    together with the project partners from industry,
 - Co-supervise the Ph.D. student working on the project.

 The second position is partially funded by the EU project
 Technology-supported Risk Estimation by Predictive Assessment of
 Socio-technical Security (TREsPASS)(
 TREsPASS focuses on modeling and analysis of socio-technical aspects of
 security. The tasks of the post-doc selected for this position will be to:
 - Contribute to the creation of security models that can capture
    social, technical, and physical aspects,
 - Develop techniques for quantitative analysis of these models,
 - Introduce methods for sharing and maintenance of socio-technical
    security models,
 - Contribute to development of methods and tools for visualization of
 In addition to the TREsPASS-related tasks, the post-doc will also
 conduct research on selected security topics which are of interest for

 Your Profile
 The candidates are expected to have:
 - A Ph.D. degree in computer science or mathematics,
 - A proven interest in security,
 - Strong background in formal methods,
 - Excellent written and oral English skills.

 We offer
 The university offers a three year employment that may be extended up to
 five years. 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 project you would like to work on (ADT2P
    or TREsPASS) and your motivation,
 - Curriculum Vitae (including your contact address, work experience,
    list of publications),
 - A one page research statement addressing the topic of the position,
 - A short description of your Ph.D. work (max 1 page),
 - Transcript of grades from all master 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 these vacancies please check