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

Post-Docs & Senior ResearchersDERI Innsbruck

http://www.deri.at

Post-Docs & Senior Researchers

DERI Innsbruck is one of the leading research groups in the area of
Semantic Web technologies with excellent ties to key relevant research
groups worldwide. To strengthen our team we are seeking for a senior
researcher with a strong background in knowledge representation, logics
and formal specification languages. Experience in algorithmic aspects
within these domains are a particular plus for respective candidates.


We expect

** An excellent PhD degree, or equivalent academic degree, in Computer
Science or related disciplines.

** Research interest in at least one of the areas Knowledge
Representation, Logics (e.g. Description Logics, First-order Logics,
Logic Programming), Ontology Languages, or related Semantic Web topics.

** Practical experience in computational aspects of logics and the
construction of respective software systems are a definite plus for
applicants.

** The willingness to combine formal scientific work with
application-oriented research in projects funded by the European
Commission and national Austrian agencies.


We are looking for individuals who will be able to continue their
existing field of research within our ongoing and new research projects.
The senior positions also include management and supervision
responsibilities for a research unit of up to 6 junior researchers.


We offer

** The stimulating environment of a leading research group in this area

** Excellent ties to research groups worldwide and major IT companies

** Up-to-date infrastructure and resources, including funding for
attending international conferences and training and educational events


For further information regarding this position and DERI, please see
http://www.deri.at. We invite you to submit your application to
hr.at@deri.org. Please include a current resume, a list of publications,
and digital versions of your most relevant works.