AISB Convention 2015

Call for Symposium Proposals: 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 2015 Con...


Read More...

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


Read More...

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


Read More...

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


Read More...

Lighthill Debates

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


Read More...
01234

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.