As a PhD candidate, you will conduct independent research on mechanistic interpretability. This is a relatively new field, so there is substantial room to contribute. This can be done for various types of AI models (e.g., transformers, GNNs, etc), and/or in the context of various applications, ranging from social network analysis to molecular simulation; as long as the data contains ground truth explanations, we can evaluate the new methods we propose.

We are seeking to fill a three-year postdoctoral position as well as a fully funded, four-year PhD position on the Czech Science Foundation project "INTERACT: Interpolation, Amalgamation, and Computation," led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

The project aims to develop a cohesive theory of interpolation across varying logical environments by reconciling proof-theoretic and algebraic approaches. The successful candidates will join the logic team at the Institute of Computer Science of the Czech Academy of Sciences and will conduct research on the themes of the project both independently and in collaboration with the PI and other project members.

Prof. Bart Bogaerts is looking for talented PostDocs to join the CertiFOX project, where we bring 100% correctness guarantees to tools for combinatorial optimization.

DTU (Technical University of Denmark) is offering a PhD scholarship in logic and AI within the research project Attention in Epistemic Planning. Your principal supervisor will by Thomas Bolander.

The project takes departure in epistemic planning based on dynamic epistemic logic (DEL), a line of research within symbolic AI initiated by the PI in 2011. It allows agents, e.g. robots, to reason about other agents, e.g. humans, as part of their planning process. The crucial novelty of the proposed project is to develop and integrate logical models of attention with the aim of 1) achieving better computational complexity and practical efficiency; 2) allow robots to reason about the limited attention of humans.

The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be in August-September 2025 or earlier. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.

The Open Universiteit is looking for a PhD student to work on formalising foundations for digital forensics. The project is part of a collaboration between the Dutch Forensic Institute (NFI) and the Open Universiteit. The student will be supervised by prof. Harm van Beek and dr. ir. Hugo Jonker. Applicants are expected to be fluent in either Dutch and/or English.

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 Department of Computer and Information Sciences at the University of Strathclyde in Glasgow seeks to appoint a Chancellors Fellow 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, such as:

* Logic, including modal and temporal logic, model checking, and proof theory;
* Category theory, including categorical semantics, and applied category theory;
* Type theory and functional programming, including semantics, metatheory, and implementation;
* Formal and mechanised mathematics, including certified programming and the use and implementation of proof assistants.

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).

CEU's Department of Philosophy is announcing a one-year postdoctoral fellow ship (part-time, 70%) within the FWF-DFG project MODREQUAM ("Modal Reasoning, Quarc and Metaphysics") under the supervision of Dr. Matteo Pascucci.

Project MODREQUAM concerns applications of non-classical logics to the analysis of modal reasoning and quantification.  The selected candidate will work in collaboration with the P.I. of the Austrian side of the project, Dr. Matteo Pascucci. They are expected to write research articles related to the topics of the project, contribute to the organization of events planned within the project and take part in international conferences to present project outcomes.