PhD position in Logic and Artificial Intelligence at the University of Bergen [NO]

There is a vacancy for a PhD position in information science at the Department of Information Science and Media Studies. The position is for a fixed-term period of 4 years, of which 25% will be dedicated to teaching, supervision and administrative tasks at the Department.

The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification, synthesis, normative reasoning, mechanism design, analysis of social phenomena, and so on. The logics in question include, but are not limited to, logics for reasoning about agents' strategies, actions, knowledge, beliefs, abilities, etc. The project will be conducted within the Logic and Artificial Intelligence (LAI) research group. The exact scope and focus of the project can be adapted to the candidate's interests.