AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


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

Notice

AISB opportunities Bulletin Item

Tenure-track assistant professorship in theoretical computer science, Stockholm, SWEDEN

http://www.csc.kth.se/tcs/jobs/D-2013-0772.php

The Theory Group at KTH Royal Institute of Technology invites applications
for a tenure-track assistant professorship in theoretical computer
science.

KTH is the leading technical university in Sweden. The Theory Group at KTH
(http://www.csc.kth.se/tcs/) offers a strong research environment covering
a wide range of research topics such as complexity theory and
approximation algorithms, computer and network security, cryptography,
formal methods, and natural language processing. The group has a strong
track record of publishing in leading computer science conferences and
journals worldwide, and the research conducted here has attracted numerous
international awards and grants in recent years. We are now set to expand
further, and this position is just one of several new openings.

For this position we are looking for candidates in all areas of
theoretical computer science, broadly construed, and in particular for
candidates in areas that complement our existing research areas, such as
theory of algorithms, parallel and distributed computing, programming
languages and program verification, and theorem proving/SAT solving.

The application deadline is February 24, 2014. More information and
instructions how to apply can be found at
http://www.csc.kth.se/tcs/jobs/D-2013-0772.php . Informal enquiries are
welcome and may be sent to Mads Dam at mfd@kth.se or Johan Hastad at
johanh@kth.se.