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

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


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

Post doc in ontology evolution in physics, Edinburgh

http://www.jobs.ed.ac.uk/vacancies/index.cfm?fuseaction=vacancies.detail&vacancy_ref=3009319

Informatics: Post-doctoral researcher in ontology evolution in physics
Based in the School of Informatics in the University of Edinburgh, you will join the world-class Mathematical Reasoning research group (http://dream.inf.ed.ac.uk/) led by Prof. Alan Bundy. You will be part of a small team looking at how the representation of physical theories can be automatically repaired to react to contradictory experimental evidence. This is part of a larger enterprise to investigate the automation of ontology evolution. Related current projects are concerned with autonomous software agents, elementary mathematics and the law. The other major activity of the group is in the automation of reasoning about mathematics and computer programs.

Your specific responsibilities will include: the identification and exploration of suitable historical cases studies; the design, implementation and evaluation of ontologies and ontology repair plans; the development of a theory of ontology evolution; the dissemination of the results, including paper publication, software distribution, organising workshops and tutorials; giving seminars, tutorials, conference presentations, etc.; co-supervision of a project student (PhD) attached to the project; and general assistance with the management of the project.

You will have at least three years previous postdoctoral research experience in a relevant subject and a background in logic and knowledge representation and inference, or related area of informatics, as well as experience with declarative programming, mathematics and physics. You will gain experience in an exciting and growing area of informatics, which is providing the enabling technology for the next generation of the internet and autonomous agents.

Appointment will be at Step 1, 34,793 p.a. in the first instance due to grant restrictions.

Fixed Term: 3 years