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

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


Read More...

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


Read More...
012345

Notice

AISB opportunities Bulletin Item

Postdoctoral Position in the automation of scientific reasoning at the Intelligent Systems Laboratory, University of Bristol, UK



Postdoctoral Position in the automation of scientific reasoning at the Intelligent Systems 
Laboratory, University of Bristol
 
An exciting opportunity has arisen for a Research Assistant or Associate to perform high quality 
research in an EPSRC-funded project to provide enhanced logical support for automated scientific 
discovery in systems biology. The aim of the work is to develop a new method of non-monotonic 
meta-logical inference and apply it to a functional genomics study involving a state-of-the-art 
robot scientist. In so doing, we hope to demonstrate the ability of a robot scientist to learn 
from its mistakes and to fully automate multiple cycles of the scientific method.
 
The project will make significant contributions to the fields of symbolic inference and scientific 
automation. It will involve a close collaboration with our colleagues in the University of 
Manchester (who have developed the robot scientist platform) and at the University of Potsdam 
(who will assist in the implementation of the logical techniques). The work is expected to result 
in high quality publications and opportunities for follow-on work.
 

Applicants should be highly motivated with a strong background in Logic Programming or Answer 
Set Programming.  They must be proficient in both procedural and declarative programming with 
a good understanding of formal logic and an interest in Biology. The closing date for applications 
is the 5th of January 2014. Interviews will be held in mid-January. The successful candidate will 
start work by early March.  This is a full time position for one calendar year and it is 
supervised by Dr Oliver Ray.

 
For further information and a link to the application process, please visit www.bris.ac.uk/jobs 
and enter the vacancy number ACAD100630 into the job search.