4y PhD position in epistemic logic for distributed computing, Bern (Switzerland)

Two PhD-student positions are 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 positions are available from February 2025 (negotiable) for up to 4 years. Candidates should have a strong background in logic (computer science, mathematics). University regulations require doctoral students to hold a Master's or equivalent degree.