Are you a specialist in motion capture and animation technology and do you want to contribute to new methodological foundations for sign language research? Are you also enthusiastic about sharing your knowledge and expertise with the next generation of students in our bachelor's programmes? Then this position at SignLab is the right fit for you!

The AI Grand Est ENACT cluster, led by the University of Lorraine and the University of Strasbourg together with CNRS, Inria, Inserm, awards half- and fully-funded PhD contracts in AI-related topics, open to all disciplinary fields including the humanities and social sciences. A full fellowship covers three years of PhD salary plus €10,000 in research expenses; a half-fellowship, which should be combined with another funding source, covers half the salary plus €5,000.

The Archives Henri Poincaré is a joint research unit between the CNRS, the Université de Lorraine, and the Université de Strasbourg, with sites in Nancy and Strasbourg, working on the history and philosophy of science in a broad sense. It is one of the ENACT cluster's priority research units, and the programme can accordingly fund PhD projects in logic and philosophy that engage with AI, whether in their topic or in their methodology. We are particularly interested in projects on AI and mathematics approached from the standpoint of logic and the philosophy of mathematics, though proposals connecting AI to other areas of logic and philosophy are equally welcome. Prospective PhD students interested in developing a project along these lines should get in touch with Yacin Hamami, sufficiently early to leave time to develop a suitable research project before the topic-submission deadline.

The Department of Computer Science at TU Braunschweig is establishing a research group on Formal Methods for Trustworthy Systems and AI, offering several PhD positions. Topics of interest include formal verification, symbolic methods, and automated reasoning, with applications in AI and explainability.

Interested candidates are requested to send their application directly to Clemens Dubslaff, head of the group.

Applications are invited a 3 years PhD scholarship on dynamic logicand planning, to be supervised by Philippe Balbiani and Andreas Herzig, at IRIT in Toulouse, France.

Application deadline is flexible.

The objective of the thesis will be to investigate verification and synthesis methods for dynamic Multi-Agent Systems, based on formalisms such as the Alternating-time Temporal Logic. Directions explored will include designing efficient model-checking algorithms, determining their complexity bounds, and developing synthesis methods for computing repairs.

The student will conduct their thesis at the Paris North Computer Science Laboratory (LIPN). The expected starting date is March 2026 (negotiable). Applications should be sent directly to Munyque Mittelmann. Please don't hesitate to contact us for more information.

The Centre for Logic, Epistemology and the History of Science (CLE) at UNICAMP in Brazil invites applications for a postdoctoral position, funded by FAPESP, under the supervision of Prof. Walter Carnielli. The position is linked to the FAPESP Thematic Project "Rationality, Logic and Probability RatioLog". Applications are to be sent directly to Prof. Carnielli.

CLE-UNICAMP is one of the first and highest-ranked academic institutions in Latin America fully dedicated to the areas of Logic, Epistemology, Philosophy, and the History of Science, promoting interdisciplinary research through seminars, scientific meetings, publications, and academic exchange with research groups and institutions worldwide.

 

The Department of Computer and Information Sciences at the University of Strathclyde is welcoming applications for PhD scholarships, funded through the John Anderson Research Studentship Scheme (JARSS). The scheme is a competitive process and offers several fully-funded positions for UK Home students. The scholarship covers tuition fees, a stipend for living expenses, and a small travel budget. For International students, other sources of funding are more than likely to be required to cover the cost of tuition.

Applicants in the area of the Mathematically Structured Programming (MSP) Group are strongly encouraged to apply. Within MSP, we 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. If you are interested in applying to join MSP on a JARSS Scholarship, we ask that you contact a potential supervisor as soon as possible, and before 01 December, 2026. The supervisor can advise on your candidacy and help support your application.