Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  



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(http://wwwen.uni.lu/snt) (SnT).

 The successful candidate will participate in the activities of the
 SaToSS(http://satoss.uni.lu) 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 (http://satoss.uni.lu/projects/atrees/). 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 (sjouke.mauw@uni.lu) or
 Dr. Barbara Kordy (barbara.kordy@uni.lu)

 For more information about this vacancy please check