PhD position in Logic and AI within the BILAI project “AI Alignment and Dialogues.”, Vienna (Austria)

The Institute of Logic and Computation at TU Wien is offering a PhD position for 4 years, 1fte (under supervision of Kees van Berkel). The candidate will be part of the Cluster of Excellence program Bilateral AI and work on the project “AI Alignment and Dialogues”. Due to the project’s interdisciplinary nature, interest in working within an interdisciplinary team is essential.

Project description: AI Ethics has many perspectives, one of which is AI alignment: Ensuring that AI behaves conform human values and principles. Some immediate challenges are: how to express values and normative principles in AI systems? What is the logical structure of reasoning with norms, values? And, how to resolve conflicts between norms and values? In this project, these questions are investigated. In particular, we investigate how to make formal reasoning with norms and values more transparent, to enhance the explanatory power of existing formalisms, with the aim of increasing understanding and trust. The focus will be on the development of dialogue models, that bring together symbolic and sub-symbolic methods. The long turn aim of such models is to generate explanations via an interactive argumentative exchange between a human and a given formal system.