You will conduct research on Responsible AI within the broader approach of the Human(e) AI Research Priority Area (https://humane-ai.nl/). The research will be embedded in the University of Amsterdam in one of four faculties: Law, Communication Science, Humanities or Science.
The ideal candidates are active in any relevant area that can complement our current strengths within any of the areas in a) AI and Philosophy, b) AI and Law and c) AI and Communication Science, d) AI and Logic.

The Department of Computer Science at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science with a focus on logic and automated reasoning.

The assistant professor will be working at the Department of Computer Science, where research into the foundations of computer science is conducted by professors Susanna de Rezende and Jakob Nordstrom. Jakob Nordstrom leads the research group Mathematical Insights into Algorithms for Optimization (MIAO), which is also active at the University of Copenhagen.

This position focuses on algorithms for foundational problems within logic, automated reasoning, and combinatorial optimization. This includes design and implementation of algorithms for computational problems within Boolean satisfiability (SAT) solving, constraint programming, mixed integer linear programming, and/or satisfiability modulo theories (SMT) solving. In addition to algorithm construction, another topic of interest is to develop a scientific understanding of the practical performance of automated reasoning algorithms, and to investigate relations between empirical observations and theoretical results in algorithm analysis and computational complexity theory. Yet another related area concerns methods of ensuring that algorithms compute provably correct results, which can be used to develop trustworthy solvers for automated reasoning and combinatorial optimization.

The expectations for the role will include carrying out computational research that makes substantive contact with language theory or research on cognitive science of language; advising masters and doctoral students; and contributing to the departmental teaching in natural language processing, computational linguistics, and linguistics, more generally. The appointment will be made within grade 8 (Lecturer) or grade 9 (Associate Professor).

The Emmy Noether research group "From Bias to Knowledge: The Epistemology of Machine Learning," led by Dr. Tom Sterkenburg, works on the philosophical foundations of machine learning. The group aims to improve our understanding of inductive bias in machine learning algorithms, by building bridges between the philosophy of science and the mathematical theory of machine learning. The group is embedded within the Munich Center for Mathematical Philosophy (MCMP) at the LMU Munich.

We are looking for a postdoctoral fellow with a background and strong interest in the philosophy of artificial intelligence and/or philosophy of science, and ideally affinity with the mathematics and epistemology of machine learning. The deadline for applications is 1 December 2024, the intended starting date is 1 April 2025.

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.

For the recently established Cluster of Excellence CoE Bilateral Artificial Intelligence (BILAI), funded by the Austrian Science Fund (FWF), we are looking for more than 50 PhD students and 10 Post-Doc researchers (m/f/d) to join our team at one of the six leading research institutions across Austria.