We are thrilled to announce that the University of Amsterdam is part of the International Dual Career Network (IDCN)! This network offers a unique opportunity for partners of our international staff to integrate more quickly and easily into life in the Netherlands. The University of Amsterdam is also hosting the first face-to-face event for the Amsterdam-Utrecht-chapter of the network on the 3rd of June from 09:30 AM until 12:00 AM at de Brug, Roeterseilandcampus!!
The Boad of Inclusive AI Community is excited to host the second edition of our panel on Diversity, Inclusion, and AI. This panel brings together experts from government, academia, and civil society to explore how we can create AI technologies that reflect the richness of our societies and work for everyone. How can we ensure that AI systems are designed with inclusivity and diversity at their core—not as afterthoughts, but as guiding principles?
Topics include:
- Is AI currently fostering a more inclusive society—or not?
- What can policymakers, educators, and industry do to drive change?
- How can we design datasets and systems that reflect diverse perspectives?
- What technical and policy actions are needed to tackle bias in AI?
Former ILLC MoL Student Femke Bekius is currently a research fellow at the Institute of Advanced Study (UvA) in Amsterdam. At Thursday June 5 a kick-off event is organized where she introduces the project: "Exploring formal models to characterize strategic uncertainty in complex decision-making".
The program is as follows:
12:00: Lunch
12:30: Start kick-off event
14:00: End
If you want to join in Amsterdam (Oude Turfmarkt 147), please register via the link below. Here you can also find a bit more information about the project itself.
Image generation has transformed how we create and engage with visual content, offering new tools and opportunities for art historical analysis. However, text-to-image models frequently rely on implicit assumptions that reinforce social stereotypes. In this talk, we will explore this duality.
Abstract: In the fall of 2024, a collection of masters and PhD students, post-docs and professors got together to learn about Lean and formalizing mathematics. This led to an effort to formalize a theorem of Monsky that there exist no odd dissections of a square by equal-area triangles, which was finally completed last month. In this talk I'd like to reflect on the journey as well as take the opportunity to do some live basic Lean coding (there is nothing to install and all you'll need is an internet connection if you'd like to bring your laptop and code along with me!).
Abstract:
Over the past few decades, research in structural proof theory has made significant advances in converting axioms into inference rules, aiming to preserve the structural properties and proof-theoretic behaviour of a given logical calculus. This transformation is especially relevant for sequent calculi, where the addition of axioms as initial sequents would affect desirable properties such as cut elimination or analyticity. In this talk, we examine this conversion within the framework of intuitionistic logic, offering both a comparative analysis with the classical setting and novel extensions of the methodology.
[Joint work with Matteo Tesi]
11 PhD positions in philosophy are currently open within the HuME PhD program, which is shared across three Italian institutions: IUSS Pavia, the University of Milan and Scuola Normale Superiore in Pisa. Possible topics include philosophy of mathematics, logic and philosophy of logic, epistemology, foundations of probability, logic for practical reasoning and Artificial Intelligence, and formal semantics. The positions come with a 3-year grant and additional funding to cover research trips and academic visits abroad. The deadline for applications is June 9th at 13:00, and the starting date for the positions is October 1st, 2025. The official language of the program is English.
The University of Urbino is pleased to announce that applications are now open for the Ph.D. program in “Research Methods in Science and Technology.” We offer 9 fully funded positions (including 2 reserved for candidates with foreign qualifications) and 1 position without scholarship. We particularly welcome research proposals in Logic, Philosophy of Science, and History of Science.
The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The position is funded by the German Research Foundation (DFG) and provides support for 18 months of full-time research, with a possible further extension by another 6 months. The position is open immediately and preferably to be filled as soon as possible.
The successful candidate will contribute to the project "Higher-Order Monad-based Programming and Reasoning (HOMBRe)", which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their generalizations as well as the semantics of iteration and recursion via trace operators, with particular interest in the notion of guarded traces. The project welcomes a broad range of perspectives across functional-imperative programming, verification logics, and categorical semantics.
The call for the PhD program in Mathematics and Physics at the University of Udine is online. The positions come with a three-year scholarship and some travel funding. The starting date of the PhD program is November 1. The interviews for the selection of candidates will start online on July 21. Notice that it is enough for candidates to obtain their Master degree before the starting date of the PhD Program (and not before the expiry date of the call).
In 2025 we are especially interested in students willing to work in computability theory, reverse mathematics, Weihrauch reducibility (potential supervisor Alberto Marcone) and set theory, particularly large cardinals (potential supervisor Vincenzo Dimonte). The PhD students working in computability theory will be able to take advantage of the MSCA Staff Exchanges grant "New Frontiers for Computability" which funds mobility towards other universities involved in the project. Udine's Mathematical Logic group consists also of one post-doc researcher and three active PhD students (two others will obtain their degrees in 2025).
The Department of Mathematics at TU Darmstadt is offering a 2 year postdoc position in Mathematical Logic. The logic group at the department has links with various application areas of mathematical logic in other fields of mathematics as well as in theoretical computer science. For the present position, preference would be given to candidates with research interests in model-theoretic methods broadly conceived. Main focus is on application domains such as finite and algorithmic model theory, the study of logics of a modal character, or of team semantics.