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


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


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


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


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



AISB opportunities Bulletin Item

Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.)

2 X Research Associates In Verification of Autonomous Systems
Salary in the range: 32,100 - 40,720 per annum

Fixed term appointments for up to 24 months each dependant upon salary level

To start as soon as possible

The Department of Computing is a leading department of Computer Science among
UK Universities. It has consistently been awarded the highest research rating 
(5*) in Research Assessment Exercises (RAE), coming 2nd in the 2008 RAE, and 
was rated as "Excellent" in the previous national assessment of teaching 

An opportunity has arisen for 2 Research Associates (post-doctoral level) to 
work on themes of model checking for autonomous systems. The posts are 
associated with the EPSRC project Trusted Autonomous Systems 
( also funding 
a Leadership Fellowship Prof. Lomuscio, the grant's principal investigator. The 
main technical objective of the project is to develop verification 
methodologies for autonomous systems.

The appointed researchers will be responsible for developing, in collaboration 
with Prof. Lomuscio, model checking methodologies, implementation toolkits, and 
case-study analysis.

Applicants are expected to have a strong computing or engineering background 
and experience in one or more of the following areas:

1  Formal verification, especially model checking

2  Abstraction

3  Automata theory and synthesis

4  Programming, particularly in the context of model checkers or theorem 

5  Modal Logic, including temporal logic, epistemic logic and ATL

6  Formal aspects of service-oriented computing

7  Multi-Agent Systems

Applicants are expected to hold, or about to defend, a PhD in logic-based 
verification or a related area. Candidates with previous experience in model 
checking including implementations are particularly encouraged to apply.  All 
candidates must be fluent in English.

Preference will be given to applicants with a proven research record in areas 
relevant to the project.

The successful candidates will be part of the res earch group on verification 
of autonomous systems, based at the South Kensington campus. For further 
information on the group and related projects see:

Positions: It is expected that one researcher will be working on the 
theoretical underpinnings of the verification problem and one will mainly work 
on implementations.

Applicants are requested to state which area they are most comfortable with or 
whether they are interested in both aspects.

All shortlisted candidates will be given an opportunity to demonstrate their 
technical abilities through remote interviews. This will be followed by an 
invitation to attend an interview in person.

How to apply:

Our preferred method of application is online via our website at: (please select ?job search? then enter 
the job title or vacancy reference number EN20120395TT into ?keywords?).

Applications must include:

A college application form quoting job reference AL 11 12
A full CV
A half page research statement indicating what you see are interesting research 
issues relating to the above post and why your expertise is relevant.
Should you have any queries regarding the application process please contact 
Joanne Day by email:

Should you have any technical queries regarding the project and its aims, or 
would like to discuss your application informally, please email attaching your CV.

Closing Date: 11th January 2013

Committed to equality and valuing diversity. We are an Athena Bronze SWAN Award 
winner, a Stonewall Diversity Champion and a Stonewall Top 100 Employer 2011