The NLP-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on large reasoning models, AI alignment and AI for science and research.

The TCS-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on machine learning for formal reasoning and verification.

The goal of this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security. 

You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research visits, etc.). In addition, you will perform light supervision duties for bachelor and/or master students and support our courses as teaching assistants (maximum two periods a year).

The Centre for Logic, Epistemology and the History of Science (CLE) at UNICAMP invites applications for a postdoctoral position supervised by Prof. Walter Carnielli. The position is linked to the FAPESP Thematic Project "Rationality, Logic and Probability – RatioLog". This project develops a unified framework combining logic, probability, and causal inference to support robust models of rational reasoning. It aims to integrate paraconsistent and paracomplete logics with Bayesian inference and Pearl's causal models, addressing reasoning under contradiction, uncertainty, and intervention. To apply, please send an email to prof. Walter Carnielli (open this call for further instructions).

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 and scientific meetings, publications, and academic exchange with research groups and institutions in Brazil and around the world.

KU Leuven’s Declarative Languages and Artificial Intelligence (DTAI) section is seeking outstanding researchers to advance the field of combinatorial optimization within Bart Bogaerts’ research group. Two fully-funded positions are available: a PhD role focused on developing human-understandable explanations for optimization decisions, and a postdoc role aimed at ensuring end-to-end correctness guarantees for combinatorial solvers. Both projects leverage breakthroughs like proof logging and machine-verifiable certificates to enhance reliability, auditability, and trust in AI-driven decisions—critical for high-stakes applications and compliance with regulations like GDPR. Candidates will contribute to innovative research, such as debugging via proofs, rigorous algorithm evaluation, and domain-specific explanation methods.

Applications for the PhD role close September 30, 2026, and for the postdoc role, October 30, 2026.

Applicants should demonstrate excellent research achievements either in a subject in the humanities with a focus on information science and computational literary studies or in information science and digital humanities with a strong emphasis on the humanities perspective. An integral component of the position’s profile are competences in the field of developing methods and infrastructure solutions for machine-based exploration and analysis of analogue.

The position also entails tasks relating to research-based teaching (2 hours per week) within the competences of the professorship and the MA specialization Digital Humanities at the Faculty of Humanities.

The Methods Centre in the Faculty of Social Science & Public Policy seeks to appoint a Lecturer in Computational Social Science who combine methodological expertise in cutting-edge computational techniques, including Artificial Intelligence, with an understanding of pluralistic and interdisciplinary social science research. 

The successful candidate will be responsible for undertaking high-quality research in this area individually and collaboratively through grant applications and dissemination. They are expected to build research collaborations within the Faculty of Social Science & Public Policy and beyond. They will also be responsible for developing relevant teaching and training provision in the area of computational social science together with colleagues. They will work with the Methods Centre Director and the Faculty Research Team to locate new research and funding opportunities.