News and Events: Open Positions

Sections

Headlines Open positions at ILLC

Headlines Open positions, general

Open positions at ILLC

Open positions, general

  • (New) Two PhD positions in Learning Abstractions for Logic-based AI at TU Wien [AT]

    Deadline: Tuesday 31 March 2026

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

    For more information, see https://www.dbai.tuwien.ac.at/research/project/lager/#home or contact Zeynep G. Saribatur at .
  • PhD Position on Combinatorial Search & Optimization at KU Leuven [BE]

    Deadline: Monday 16 March 2026

    We are looking for an excellent PhD Researchers to strengthen Bart Bogaerts' research group on Knowledge Representation and Combinatorial Optimization, which is part of the Declarative Languages and Artificial Intelligence (DTAI) section of the department of Computer Science of KU Leuven.

    There are two (related) possible research directions for a PhD. The successful candidate will focus either on *proof logging* or on *explanations* for combinatorial solving; some details can be found below.

    For more information, see https://www.kuleuven.be/personeel/jobsite/jobs/60620442 or contact Bart Bogaerts at .
  • Postdoc position in Mathematical Logic at TU Darmstadt [D]

    Deadline: Wednesday 11 March 2026

    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.

  • Two PhD Positions in Computational Social Choice and Digital Democracy, University Toulouse Capitole [FR]

    Deadline: Sunday 8 March 2026

    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.

     

  • PhD and Postdoc positions in TCS or automated reasoning at Danish Data Science Academy in Copenhagen/Lund [DK]

    Deadline: Wednesday 4 March 2026

    The Danish Data Science Academy invites applications for PhD and Posrdoc fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. 

    Applications can be within any field of data science aligning with the DDSA research scope, including, but not limited to, algorithms research within data science and AI and applications of data science or computer science to other areas in natural, technical, or life sciences. The positions will be awarded to the most promising candidates according to their scientific qualifications, motivation, and engagement, as well as the quality, originality, relevance and potential impact of the proposed project. It is a requirement that the applicant has a well-defined research project proposal as well as an agreement with a principal supervisor at a Danish university.

    For more information, see https://jakobnordstrom.se/openings/ or contact Jakob Nordstrom at .
  • Morgan Phoa PhD Scholarships in Mathematical Logic at the Victoria University of Wellington [NZ]

    Deadline: Sunday 1 March 2026

    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.

    For more information, see https://www.wgtn.ac.nz/scholarships/current/morgan-phoa-scholarships or contact Prof. Noam Greenberg at , or Dr. Thomas Forster at .