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. 

Applications are invited for a fully funded PhD candidature on the use of formal methods to enhance the efficiency, transparency and the understanding of Large Language Models (LLMs).  While LLMs have proven successful in many areas of NLP, they suffer from high data and resource usage and display limited generalization capacity in tasks that humans excel at. You will have the opportunity to investigate how formal methods can help in developing more efficient and more transparent models for Natural Language Understanding.

In this position you are expected to develop your own research line; as such we ask for a brief research proposal (max. 1 page) which outlines a project you would like to work on.You will be embedded in the Leiden Institute of Advanced Computer Science (LIACS) at Leiden University, supervised by dr. Gijs Wijnholds and prof. dr. Suzan Verberne.

The HuME PhD program -- The Human Mind and its Explanations: Language, Brain and Reasoning -- jointly promoted by Scuola Universitaria Superiore IUSS Pavia, the University of Milan, and Scuola Normale Superiore in Pisa is advertising a total of 7 three-year fully-funded PhD scholarships.

The program trains young researches seeking a comprehensive explanation of the complexity of human cognition, using theories and methods developed in a wide variety of disciplines and fields, including the philosophy of mind, epistemology, logic and theories of reasoning, philosophy of logic and mathematics, cognitive sciences and neurosciences, computation and artificial intelligence, decision-theory and rational choice theory, philosophy of language, ontology, philosophy of science, formal semantics, linguistics and theoretical syntax. The program will provide solid analytical and epistemological grounds for the development of theoretical and experimental skills, allowing students to work with researchers belonging to the three partner Universities.

The PhD program in Philosophy covers all disciplinary fields, including Logic and Philosophy of Mathematics. For the upcoming academic year, 3 scholarships are available, each with a duration of 4 years. It is mandatory to submit a research proposal with a maximum length of 3 pages (excluding references). Applicants may also submit a CV, an abstract of their master's thesis (maximum length half a page), and any letters of recommendation.

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.

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.