Applications are invited for a Postdoctoral Position in Computational Social Choice to work with Prof. Ulle Endriss at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. This position is part of an ERC Synergy Project on Digital Democracy. We specifically encourage women and members of other underrepresented groups to apply for this position.

The Institute for Logic, Language and Computation (ILLC) and the Institute of Physics at the University of Amsterdam are looking for an ambitious postdoctoral candidate. Your research is part of the NWO-funded research project Quantum Impact on Societal Security.

We are proud to announce four tenure-track professorships at Johannes Kepler University Linz *only for female applicants* on the topics: - Knowledge and Data Processing - Natural Language Processing and Interaction - Neuro-Symbolic Artificial Intelligence - Reinforcement Learning.

In accordance with the concept to support the advancement of women, the positions will be open solely to female applicants. Deadline will most likely be May 28.

We invite applications for six fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs – New Harmonies in Software Correctness by Construction", funded by the Dutch Research Council (NWO).

This €3 million project aims to advance software verification through fundamental research in the following areas:
- Modal logic, proof theory, and coalgebras
- Programming languages, concurrency, and type systems
- Proof assistants (Agda, Rocq)

We seek strong, highly motivated applicants who:
- Have (or are close to completing) an MSc in Computer Science, Logic, Mathematics, or a related field.
- Have background or research experience in any of the areas above (preferred but not required).
- Have strong communication skills (oral and written) in English.

We invite applications for a fully funded PhD position at the University of Tartu, Estonia, in the area of logic in computer science, database theory, and semiring semantics. The research explores how classical logical and complexity-theoretic tools can be extended to models and computations enriched with semirings—a framework underlying annotated databases, provenance, confidence scoring, and related applications.

A fully funded four-year Ph.D. position is available at the Vrije Universiteit Amsterdam on developing neuro-symbolic intelligent systems in the context of the Hybrid Intelligence Centre (https://www.hybrid-intelligence-centre.nl).

There is an open PhD position in the department of Computer Science and Engineering at Chalmers University of Technology / the University of Gothenburg, Sweden. The student will work on the project "Symbolic Reactive Synthesis on Planning Domains” with Professor Nir Piterman. The student will join the formal methods unit, with currently 6 active PhD students.

The project will seek to combine usage of Planning Domain Description Language (PDDL) in reactive synthesis (automatic production of programs from high-level descriptions of their desired behavior). This will include both theoretical and practical contributions. More concretely, the work will include the study of temporal logic, planning domains and planning techniques, automata, and two player games. Temporal logic and planning domains are used for describing in a high level the required behavior of a program, planning techniques are used to extract information about the problem, automata are used as an algorithmic tool for manipulation of logic formulae, and two-player games enable to consider strategies and programs. We will study these formalisms, analyze their properties, devise algorithms to manipulate and translate between them, as well as implement tools that will show the applicability of the developed techniques.

A 2-year postdoc position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence of the University of Groningen. The position is embedded within a large EU project that I coordinate (PERYCLES) and is focused on algorithms for supporting large-scale democratic deliberation. It involves close collaboration with several other academic partners, including in the COMSOC area, and with digital democracy software developers (LiquidFeedback). The ambition is to provide novel research-driven algorithms that can be implemented in leading open-source software.

From October 2025 on, there are 2-3 PhD / Postdoc positions available in the Mathematical Logic Group at Würzburg, Germany. The focus of my group is on ordinal analysis and reverse mathematics, but our work also connects with computability, set and model theory. All positions are funded for three years, as 75-%-positions for PhD students or 100-%-positions for postdocs.  They come with a very moderate teaching load of about 2 hours (= one exercise course) per week. We conduct our research in English and no German language skills are required, though they make it easier to distribute the teaching.

In Austria, leading scientists in the field of AI have joined forces and created the Cluster of Excellence (CoE) “Bilateral Artificial Intelligence: Discovering the Next Dimension of AI”, funded by the Austrian Science Fund FWF. The vision is to educate a new generation of top-quality AI scientists with a holistic understanding of symbolic and sub-symbolic AI methods. The CoE “Bilateral AI” is currently looking for the brightest minds in this field, offering PhD and Postdoc positions, with several exciting opportunities still available.

The participating research centers are Johannes Kepler Universität Linz (JKU Linz), Technische Universität Wien (TU Wien), Alpen-Adria-Universität Klagenfurt (AAU), Institute of Science and Technology Austria (ISTA), Technische Universität Graz (TU Graz), and Wirtschaftsuniversität Wien (WU Wien).