The Humane AI research priority area of the University of Amsterdam is looking for a new PostDoc to amend our existing team (https://humane-ai.nl/). AI is everywhere. Chatbots, translation tools, shopping assistants, hyper-personalised services - as Large Language Models become widely accessible, they're reshaping how we live, work, play and connect. This rapid shift sparks big questions: Whose norms and values shape this AI-driven society—and who gets left behind? What are the rules that govern the development and deployment of Generative AI different sectors of society, and towards what kind of society will they steer us? Is the risked-based approach to AI.

The Center for Mind & Cognition at Ruhr University Bochum currently offers 7 fellowship options multiple across disciplines.

The Department of Computer and Information Sciences at the University of Strathclyde seeks to appoint a Lecturer in Mathematically Structured Programming.  We welcome applications from candidates with expertise in a range of topics in the mathematical foundations of computer sciences and applications.

You will join the vibrant Mathematically Structured Programming group which is internationally renowned for its research in the mathematical foundations of programming languages. They see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. This reflects the symbiotic relationship between mathematics, logic, and programming - any attempt to sever this connection will diminish each component. They have a strong partnership with the Scottish Programming Languages Institute and their work finds impact through our productive links with industry.

The LAGER project ("Learning abstractions for generalized reasoning in AI") is seeking talented and motivated candidates for two PhD positions to join the groups at the Institute of Logic and Computation at TU Wien. The project is funded by the Vienna Science and Technology Fund, and led by Zeynep G. Saribatur, Thomas Eiter and Nysret Musliu.

By focusing on Answer Set Programming (ASP), the project will establish theoretical foundations for generalized reasoning and develop domain-independent methods for learning useful abstractions over ASP programs. Candidates should have a solid background in symbolic AI and good programming skills. One PhD position is available with an immediate start, and the other position is from 1 July 2026.

The Centre aims to bring together scholars from different fields in philosophy with an interest in human abilities, both systematically and historically. Applicants should pursue a postdoctoral project related to human abilities and with a focus in at least one of the Centre’s main research fields: metaphysics, epistemology, or philosophy of action. 

Applicants should be interested in discussing their work in an intra- and interdisciplinary setting. In particular, fellows will be expected to participate in the weekly informal meetings (jour fixe), some of the bi-weekly reading groups, the monthly colloquia, and other activities of the Centre (workshops, conferences, reading groups, etc.), and to be resident in Berlin for the duration of the fellowship. Applicants need to have completed their PhD within 5 years prior to the starting date of the fellowship. 

We are looking for an excellent PhD Researchers to strengthen Bart Bogaerts' research group on Knowledge Representation and Combinatorial Optimization, which is part of the Declarative Languages and Artificial Intelligence (DTAI) section of the department of Computer Science of KU Leuven.

There are two (related) possible research directions for a PhD. The successful candidate will focus either on *proof logging* or on *explanations* for combinatorial solving; some details can be found below.