AISB Convention 2015

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 Convention will be held at the Uni...


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 Theoretical Computer Science, Stockholm, SWEDEN

http://www.csc.kth.se/~jakobn/openings/D-2011-0603-Eng.php

The Theory group at KTH Royal Institute of Technology invites applications for a postdoctoral 
position in Theoretical Computer Science for the research project "Understanding the Hardness of 
Theorem Proving" in the area of proof complexity with connections to SAT solving. The project is 
led by Jakob Nordstrom and is financed by a Starting Independent Researcher Grant from the European
Research Council. The postdoctoral researcher will be part of a team consisting also of the PI and 
two PhD students. Travel funding is included, and the group also expects to continue receiving 
short-term and long-term visitors on a regular basis.

This is a full-time employed position for one year with a possible one-year extension. The 
successful candidate is expected to start in August-September 2012, although this is to some extent
negotiable.

To receive full consideration, applications should be received by January 31, 2012. More 
information and instructions how to apply can be found at 
http://www.csc.kth.se/~jakobn/openings/D-2011-0603-Eng.php. Informal enquiries are welcome and may 
be sent to Jakob Nordstrom at jakobn@csc.kth.se.