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).

Are you passionate about deep learning, generative AI, agents? We are seeking a postdoctoral researcher to join the research group led by Ivan Titov (http://ivan-titov.org/), part of the natural language processing group of the Institute for Logic, Language and Computation (ILLC).

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.

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.

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.

This PhD project is at the intersection of verification and machine learning and covers both the analysis of software and cyber-physical systems and the analysis of learning-enabled systems.

Computer-aided verification of AI systems connects the fields of formal methods, machine learning and software engineering. It combines classical symbolic verification methods as well as novel machine learning methods for safe and trustworthy AI. Potential research topics include, but are not limited to, developing methods to guarantee that cyber-physical systems with deep learning components are safe and ensuring that software and hardware components are correct. 

The Institute of Computer Science of the Czech Academy of Sciences in Prague is advertising a postdoctoral position, to join the Czech Science Foundation project Model theory, structural combinatorics, and algorithms, led by Samuel Braunfeld. Expertise in model theory alone (or combinatorics alone) is fine.

The anticipated start date is in the fall of 2026 (negotiable), and would provide funding until the end of 2028. Applications received by January 16, 2026 will be guaranteed full consideration, but later applications will continue to be considered until the position is filled. 

The Mathematical Insights into Algorithms for Optimization (MIAO) group are looking for a researcher with strong mathematical background combined with excellent algorithmic thinking and programming skills to further expand our world-leading work on certifying algorithms. There is some flexibility as to what kind of research members of the group pursue, though, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.

The employment duration is for two years. The starting date is negotiable, but should ideally be in August-September 2026 or earlier. 

The Mathematical Insights into Algorithms for Optimization (MIAO) group are looking for a mathematically gifted PhD student with excellent programming skills to continue our ground-breaking work on certifying algorithms, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). There is some flexibility as to what kind of research PhD students in the group pursue, though, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.

This PhD position is a four-year full-time employed positions; it might include 20% teaching, in which case it will be prolonged for one more year. The starting date is negotiable, but should ideally be in August-September 2026 or earlier. 

Applications are invited for a PhD studentship at UCL with project title 'A Foundational Theory of Information Based on Inference'. The joint supervisors are Tim Button and David Pym. UK and international candidates can be considered.

This project at University College London aims to study a version of incorrectness logic with novel logical foundations and analysis techniques that can formally prove the presence of bugs in randomised software. The PhD will provide training in programming principles, logic, and formal verification. Candidates should have a Bachelor's degree in computer science or mathematics. Ideal candidates should have a Master's degree with a solid technical background and interest in programming languages and logical methods in computer science.

The KU Leuven Faculty of Engineering Technology has a vacancy at Campus De Nayer for a full-time professor in Intelligent Software that combines machine learning and knowledge-based inference.
The candidate will be embedded in the DTAI section of the KU Leuven Department of Computer Science and EAVISE - KULeuven.

The MSP Group at the University of Strathclyde is advertising multiple PhD positions. They see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. Applicants in the area of the Mathematically Structured Programming (MSP) Group are strongly encouraged to apply. 

The studentships cover tuition fees, a stipend for living expenses, and a small travel budget for the UK home students. Unfortunately, the funding provided is not enough for non-UK tuition fees, and for such students it is advisable to search for other funding opportunities.