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

Two postdoctoral positions in "The parameterized complexity of reasoning problems", Vienna

http://www.kr.tuwien.ac.at/drm/jobs

TU Wien
2 Postdoc Positions in Computer Science

at the Faculty of Informatics, Vienna University of Technology, Austria.

Within the ERC-funded project "The Parameterized Complexity of Reasoning Problems" lead by Prof. Stefan Szeider applications are invited for two postdoctoral positions in computer science. The aim of the project is to study computational reasoning problems in the framework of parameterized complexity theory. The positions are for the duration of two years with the possibility to extend. The earliest starting date is January 2010.

The candidates should have a PhD degree in Computer Science or related area; research experience at postdoctoral level is of advantage. Successful candidates will have excellent knowledge in some of the following areas:

 algorithm design and analysis
 computational complexity
 satisfiability and constraints
 nonmonotonic reasoning
 probabilistic reasoning
 discrete optimization
 implementation and testing of algorithms

The review of applicants will begin immediately and continue until the positions are filled. Applications received by 19 December 2009 will receive full consideration.

Further details on the requirements and information on how to apply can be found at http://www.kr.tuwien.ac.at/drm/jobs.