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


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



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 
(http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/I00520X/1) 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: http://vas.doc.ic.ac.uk/

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: 
http://www3.imperial.ac.uk/employment (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: research.officer@doc.ic.ac.uk

Should you have any technical queries regarding the project and its aims, or 
would like to discuss your application informally, please email 
a.lomuscio@imperial.ac.uk 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