PhD Position in Logic in AI, University of Bergen (Norway)

The Logic, Information and Interaction Research Group at the Department of Information Science and Media Studies at the University of Bergen is looking for a PhD candidate who wants to work on the research frontier of formal logic with applications in artificial intelligence and multiagent systems. Project proposals on formal logics for reasoning about social networks are particularly welcome, but the position is also open for qualified applicants within other areas of information science, including for instance computational social choice.