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


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


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


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


Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  



AISB opportunities Bulletin Item

Postdoctoral position in Logics for Quantum Interaction, Groningen



Call for Applications:
A 2,5 year Post-Doc position is available in the Faculty of Mathematics and Natural Sciences in the Institute of Artificial Intelligence (ALICE), offered in collaboration with the department of Theoretical Philosophy at the University of Groningen. The candidate will join the Vidi project of Dr. Sonja Smets.

VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:

As for classical computing, logic is expected to play an essential role in the understanding of quantum computation and quantum information, and especially in the formal verification of quantum communication protocols. Such multi-agent applications involve quantum information flow and classical knowledge transfer (by classical communication) between the agents. So one of our aims in the proposed VIDI research project is to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined. Our goal is to develop and use a combined classical-quantum logic for the full specification and formal verification of agent-based quantum protocols for secure communication. Towards this goal, we propose to use formalisms based on modal logic, especially combinations of dynamic (or temporal) logics and epistemic (or spatial) logics.

The post-doc position on this project will extend the tools of the mentioned modal and epistemic logics with techniques from other logical formalisms, such as for instance probabilistic logic, linear logic and/or coalgebraic logic (or categorical logic, in general). In particular, the selected candidate will work on the development of the logical tools for the verification of quantum protocols where probabilities play an essential role. The main case-study in this part of the project is the formal verification of Quantum Key Distribution.

Qualifications: Candidates should have (or obtain before 1 September 2010) a PhD degree in any area connected to Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. Fluent English is a prerequisite.

Job Profile: We are looking for candidates with a strong interest in Quantum Information Theory and either Probability Theory or/and Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic).

Appointment: The post-doc position is awarded for a period of 30 months. The gross monthly salary will range between € 2.379,- and € 3.755,- gross per month. The successful applicant will be working under daily supervision of Dr. S. Smets. The main focus of the appointment is on research, but can include moderate teaching duties in subjects relevant to the candidates research activities. The preferred starting date is 1 September 2010.

How to apply: Send your application electronically to Dr. Sonja Smets at S.J.L.Smets@rug.nl by 7 June 2010. Applications must contain:

- a Curriculum Vitae
- a Letter of Motivation (at most 2 page), explaining why you are interested in this position
- a copy of your most important research paper, which appeared or is submitted for publication to a scientific journal (can be co-authored).
- a short summary of your PhD thesis in maximum 2 pages
- the name and contact details (including email address) of two referees who can provide details about your profile (one of which should be the main supervisor of your PhD thesis).

For further information, please contact Dr. Sonja Smets at S.J.L.Smets@rug.nl

We will start reviewing applications on 7 June 2010 and hope to make a decision soon after that, but applications will continue to be accepted until the position is filled.