Postdoctoral Position in Epistemic Group Attitudes, Bern (Switzerland)

A three-year postdoctoral position is open  in the project "Epistemic Group Attitudes" in the Logic and Theory Group of the Institute of Computer Science at the University of Bern. In this SNSF-funded project, we plan to develop and investigate new notions of group knowledge in multi-agent systems. The two classic forms of group knowledge are common knowledge and distributed knowledge. We will devise novel variants of these notions, which are important for distributed computing, and study their logical and mathematical properties.

The starting date is negotiable. The initial contract will be for 12 months . After initial evaluation, an extension is possible for an additional 24 months (3 years total). Candidates should hold or expect a PhD and have a strong background in logic.