Are you looking for a PhD position where you can use your mathematical skills to improve existing mechanisms for democratic decision making and invent new ones? Are you excited about doing this kind of research in an interdisciplinary environment, in a team of smart and supportive colleagues?

Then you may want to join us. We are looking for two PhD candidates in the field of computational social choice to join the COMSOC Group at the Institute for Logic, Language and Computation (ILLC).

Would you like to contribute to rethinking how deaf people access essential services through technology, especially Augmented Reality, with key national partners in the Netherlands?

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.

The ERC Synergy project “Advancing Digital Democratic Innovation” (ADDI) is looking for two PhD students to join the research team from September 2026 at the University Toulouse Capitole in France. Candidates should be strongly motivated towards research, and have the curiosity and motivation to collaborate with researchers outside computer science (in political science and economics).

The project's goal is to study digitally augmented forms of civic participation through three core objectives: designing technologies and procedures for citizen deliberation and participation; experimentally testing the impact of technology in deliberative and participatory forums; and understanding the preferences expressed in digitally augmented forms of civic participation.

 

Morgan Phoa Scholarships Closing date(s): 1 March 2026 Tenure: Three years

https://www.wgtn.ac.nz/scholarships/current/morgan-phoa-scholarships

Value: $47,500 NZD per annum for 3 years. The scholarship will cover full fees annually, with the remainder of the annual funding being paid as stipend in equal monthly instalments directly to the recipient. History and purpose

Through the generosity of Dr Wesley Phoa and Margaret Morgan, two New Foundations PhD Scholarships have been established at the School of Mathematics and Statistics. These scholarships will enable two students, co-supervised by Dr Thomas Forster and Professor Noam Greenberg, to make new discoveries, advance our mathematical understanding, and expand our knowledge of Quine's New Foundations, capitalising upon recent breakthroughs in the field that the donors helped make possible. 

The position is opened for a highly motivated person with an excellent academic record, who is familiar with the basics of mathematical logic, in particular set theory.

The Center for Mind/Brain Sciences ( CiMeC[/b] ) is looking for a Tenure Track Researcher (RTT)[/b] in Information Processing Systems (IINF-05/A).

CiMeC offers a world-class, interdisciplinary environment bridging Artificial Intelligence[/b] , Computational Linguistics[/b] , Psychology[/b] , and Cognitive Neuroscience[/b]. This is a unique opportunity to work at the intersection of human cognition and machine intelligence.

Applications are invited for two PhD positions at the Faculty of Philosophy, Ludwig-Maximilians-Universität Munich.

The two doctoral fellows will be part of a new project group that will be devoted to the logic of epistemic reasons (reasons for beliefs) and of practical reasons (reasons for actions). The project will deal with questions, such as: How can we logically analyze the reason-for relation? Which general laws does that relation obey? How can reasons relate to each other logically? How does the logic of reasons relate to other logical or formal systems?

Two PhD positions at TU Wien are seeking talented and motivated candidates to join groups at the Institute of Logic and Computation at TU Wien. The positions are part of the LAGER project ("Learning abstractions for generalized reasoning in AI") funded by the Vienna Science and Technology Fund, 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 from January 1st, 2026, and the other position is from July 1st, 2026.

Applications are invited for two Postdoctoral Fellow positions at the Faculty of Philosophy, Ludwig-Maximlians-Universitaet Munich.

The Chair of Logic and Philosophy of Language (Professor Hannes Leitgeb) is devoted to the study of questions and problems in philosophical logic and philosophy of logic, philosophy of language, formal epistemology and metaphysics, general philosophy of science, philosophy of mathematics, philosophy of cognitive science, and the history of logical empiricism.

This advertisement is for a two-year appointment as Mellon Postdoctoral Research Associate in the History of Computational Technology. The position is to be held jointly at the Cogut Institute for the Humanities and the Department of History, with additional affiliation with the Program in Science, Technology, and Society. 

Applicants in any discipline of the humanities (history, philosophy, literature, language, and the arts) or deploying humanistic methods in Science and Technology Studies, Media Studies, or related fields are encouraged to apply, in particular those whose work addresses the historical significance, impact, and/or trajectory of the “information age,” cybernetics, computing, digital technology, artificial intelligence, and/or the emergence of data-driven methods in the sciences and beyond. 

 

This position is supported by a prestigious Swedish Research Council grant focused on automatic synthesis of programs for spatial Multi-Agent Systems. The research centers on developing foundational theories and practical techniques for the formal verification of autonomous systems, including controller synthesis, planning, and model checking.

Competitive candidates are expected to have a background, and experience of working with one (or more) of the following:

• Formal methods (e.g., concurrency, automata, or temporal/spatial logics, etc) or discrete control (e.g., planning, supervisory control, or controller synthesis, etc.)
• Verification tools such as Model Checkers, Synthesis Engines, etc.
• Prior experience in combining reinforcement learning with reactive synthesis and/or control is a plus.