Logic List Mailing Archive

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

=======================CALL==========================
PhD position in Logic and AI within the BILAI project “AI Alignment and Dialogues.”

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 [1] and work on the project “AI Alignment and Dialogues” (see description below).

The ideal candidate is active in one or several relevant areas, including, but not limited to, knowledge representation, mathematical and nonmonotonic logic, philosophical logic, machine learning, and LLMs. 
The candidate has an excellent master or diploma in Computer Science, Logic, or fields closely related to the project. Moreover, affinity with AI Ethics topics and critical thinking is highly appreciated and will be considered a strong plus.

Due to the project’s interdisciplinary nature, interest in working within an interdisciplinary team is essential.

Project description: AI Alignment and Dialogues. 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.

We accept online applications via the link below [2] until November 28th, 2024.

[1] https://www.bilateral-ai.net/
[2] https://jobs.tuwien.ac.at/Job/241947
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php