CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Read More...

Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


Read More...

AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


Read More...

AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


Read More...

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


Read More...

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


Read More...

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


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

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


Read More...

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


Read More...
0123456789

Notice

AISB opportunities Bulletin Item

PhD student position in Information Security, Luxembourg, LUXEMBOURG

http://emea3.mrted.ly/a7xh

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

 Application
 ----------------
 Applications should be written in English and include the following
 documents:
 - Cover letter indicating the research area of interest and your
    motivation,
 - 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
http://emea3.mrted.ly/a7xh

 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
http://satoss.uni.lu/vacancies/phd2014.php