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

PhD student position on "Logics for Privacy", Switzerland


Contact: Thomas Studer, tstuder@iam.unibe.ch

The research group for Theoretical Computer Science and Logic of the University of Bern has an open position for a PhD student in the project * Logics for Privacy *

We are looking for an enthusiastic student with a strong background in logic.

The PhD project is granted by the Swiss National Science Foundation over a period of three years. Salary and employment conditions are attractive. We offer a stimulating and enjoyable working environment in a internationally oriented research group. The city of Bern features modern culture surrounded by old world ambiance. It provides all year round recreational activities in a breathtaking environment.

University regulations require doctoral students to hold a Master's or equivalent degree (e.g. Diplom). Applications should include a curriculum vitae together with a transcript of records.

To apply or for further information please contact Thomas Studer by email (tstuder@iam.unibe.ch).


Project description:
The problem of data privacy is to verify that confidential information stored 
in an information system is not provided to unauthorized users and, therefore, 
personal and other sensitive data remain private. The main challenge in such a 
context is to share some data while protecting other personally identifiable 
information. The aim of our project is to develop formal methods and the 
corresponding algorithms to enable automated reasoning about data privacy.

In particular we are interested in the following questions:
1. What can a user infer from the information to which he has access?
2. How can we guarantee that an unauthorized user cannot obtain any knowledge 
about private information?

We will address those questions not in their full generality, but we intend to 
study the case of ontological knowledge base systems. That means we will mainly 
use techniques from modal logic in general and description logic in particular.