We have a PhD position to fill in the newly formed group CALM (Coalgebra, Algebra, and Logical Methods) at the Department of Computer Science, University of Salzburg. The position is for 4 years, with all benefits (and a small teaching obligation in year 2 and year 3). The topic of research will be fixed based on the joint interests of the candidate and the supervisor, within the mentioned areas. 

Applications will be considered on a rolling basis, until the position is filled -- ideally before August 2026. Please send your (for now informal) application with a CV and your research interests directly to

A two-year postdoc position is opened on the SIMILE (Substitution in Material Inference and Logical Environments) project, which seeks to develop conceptual and mathematical-symbolic frameworks for understanding material inferences, which have emerged as a central topic inferentialist projects as in the work of Sellars, Brandom, and Peregrin, among others. One special focus of the project's work is substitution (and especially the failure of substitution invariance), which has long been known to play a central role in materiality. 

Candidates should hold or expect a PhD and have a strong background in logic. The ideal candidate will have expertise in both philosophical logic and the philosophy of logic, with particular competency in one or more of the following areas: Metainference, Inferentialism,  Algebraic methods in philosophical logic, Relevant logic, or Metalogical properties of non-classical logics. The call will remain open until the position is filled, but preferrably by 31 July 2026 to guarantee full consideration. 

The Department of People and Technology is seeking applicants with a research and teaching profile in more than one of the following scientific areas: sundamental principles and concepts of computer science, machine learning techniques, and software development/engineering.

The position is linked to the research group Programming, Logic, and Intelligent Systems (PLIS). In PLIS, basic research in computer science is combined with innovative applications. Applicants must hold a PhD degree within computer science or a closely related field. The successful candidate will become a member of the PLIS research group and must relate their research to that of the PLIS group. 

These positions offer a place for reflecting on all aspects of mathematical knowledge from the point of view of the humanities. The team studies various historical and contemporary mathematical cultures from a multitude of methodological approaches. 

For more information about the PhD position click here and for the postdoc position here.

Up to 12 postdoc and 12 PhD positions open withing the 5-year project aiming to explore the axioms of mathematics taking into account aspects of mathematical logic, complexity theory, automated theorem proving, and philosophy.

The applicants should have a strong background in at least one of the following fields: mathematical logic, theoretical computer science, universal algebra, or philosophy of mathematics.  Applications will be accepted until the positions are filled. For full consideration,apply by May 22th, 2026.

A one-year postdoctoral position for early career researchers in the Logic Group at the University of Milan will soon be available. The research group covers several areas of logic and category theory, including duality theory, categorical logic, categorical algebra and higher categories. 

The group encourages all motivated early career researchers with experience in category theory, broadly understood, to apply. An interest in categorical logic and/or low-dimensional category theory would be advantageous, but is not essential. 

The position is part of the DFG-funded project Learning Linguistic Inferences and Their Alternatives . The project investigates how language models learn linguistic inferences — including implicatures, presuppositions, implicated presuppositions, free choice, and distributive inferences — and whether training on one inference type facilitates learning of others.

The postdoc will play a central role across the project's work packages, contributing to the computational components of the project as well as to the design and implementation of online behavioral experiments, dataset construction, and data analysis. A successful candidate should  hold a PhD degree in Linguistics or a closely related field, have expertise in computational linguistics and be able to engage with both the experimental and computational aspects of the project.

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.

AI4KIDS addresses the critical need for child-centric safe AI by developing a norm-first Belief–Desire–Intention (BDI) architecture where generative models (LLMs) are constrained by machine-readable child-protection policies to ensure purposeful, legally compliant, explainable and auditable AI behaviour. 

The role focuses on designing safe, norm-constrained AI architectures for child-centric applications, combining multi-agent systems, LLMs, and social robotics within an international team. The project also includes industrial validation with social robotics platforms (e.g., QTrobot) for deployment in educational and special-needs contexts, marrying computational law, symbolic AI, and large-scale evaluation into a blueprint for safe child-facing AI.

The AI for Math Summer Fellowship is a 10-week (June 15 - August 21, 2026) research program placing students within active projects supported by the AI for Math Fund. Seven fellows will be selected to work directly with leading research teams advancing artificial intelligence for mathematics, including work on automated theorem proving, proof assistants, formal verification, mathematical datasets, and open-source research infrastructure.

Fellows will receive a $20,000–$30,000 stipend, depending on geography, experience, and project scope. Renaissance Philanthropy will cover travel costs if necessary for fellows who need to temporarily relocate for the placement.