uva.nl

Institute for Logic, Language and Computation

News and Events: Open Positions

Sections

No Open positions at ILLC

Headlines Open positions, general

Open positions, general

  • (New) 2 PhD positions in Combinatorial Optimization, Leuven (Belgium)

    Deadline: Thursday 6 March 2025

    KU Leuven is looking for two 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) positions. One succesful candidate will focus on *proof logging*, the other candidate on *explanations*.

    For more information, see here or at https://www.kuleuven.be/personeel/jobsite/jobs/60425822 or contact Bart Bogaerts at .

  • Danish Data Science Academy postdoc and PhD positions, Copenhagen (Denmark)

    Deadline: Wednesday 5 March 2025

    The Danish Data Science Academy invites applications for postdoc and PhD fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The postdoc call is at https://ddsa.dk/postdocfellowshipcall2025/ and the PhD call at https://ddsa.dk/phdfellowshipcall2025/, and the application deadline is March 5, 2025.

    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.

    Informal inquiries about opportunities in the Algorithms and Complexity Section at the University of Copenhagen are welcome and can be directed to Jakob Nordstrom or other faculty in the section. Please contact us as soon as possible if you are interested, so that there is enough time to talk about your research ideas and provide feedback on how to turn them into a successful DDSA proposal (and also do not forget the open PhD call at https://jakobnordstrom.se/openings/PhD-Lund-250117.html closing on January 17, 2025).

    For more information, see https://jakobnordstrom.se/openings/ or contact Jakob Nordström at .

  • (New) PhD studentship in history and philosophy of theoretical physics/maths, St Andrews & Bonn (UK & Germany)

    Deadline: Friday 21 February 2025

    The University of St Andrews and the University of Bonn are pleased to offer a scholarship funded by both institutions, to support an exceptional student undertaking doctoral research on a project 'Continuities and Discontinuities in Understanding the Origin of Mass,' starting in the academic year 2025/26.

    For more information, see https://history-of-maths.wp.st-andrews.ac.uk/global-doctoral-scholarship-bonn-standrews/ or contact Isobel Falconer at , or Bernadette Lessel at .

  • (New) Ass. Prof. in Computer Science at Telecom SudParis, Paris (France)

    Deadline: Friday 21 February 2025

    Télécom SudParis is hiring an assistant/associate Professor (Maître d e Conférences) in Computer Science.

    Application deadline: February 21, 2025 Expected starting date: September 2025 (flexible). Location: Campus of Télécom SudParis, Évry, France.

    For more information, see https://institutminestelecom.recruitee.com/l/en/o/mc-informatique-inf or contact Djamel Belaïd at , or Sophie Chabridon at .

  • Postdoctoral and PhD Positions on the Czech Foundation Project INTERACT, Prague (Czech Republic)

    Deadline: Saturday 15 February 2025

    We are seeking to fill a three-year postdoctoral position as well as a fully funded, four-year PhD position on the Czech Science Foundation project "INTERACT: Interpolation, Amalgamation, and Computation," led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

    The project aims to develop a cohesive theory of interpolation across varying logical environments by reconciling proof-theoretic and algebraic approaches. The successful candidates will join the logic team at the Institute of Computer Science of the Czech Academy of Sciences and will conduct research on the themes of the project both independently and in collaboration with the PI and other project members.

    Deadline: 15 january (postdoc) / 15 february (PhD).

    For more information, see https://www.cs.cas.cz/job-offer/en or contact Wesley Fussner at .

  • (New) Postdoctoral Position in Epistemic Group Attitudes, Bern (Switzerland)

    Deadline: Friday 7 February 2025

    A three-year postdoctoral position is open  in the project "Epistemic Group Attitudes" in the Logic and Theory Group of the Institute of Computer Science at the University of Bern. In this SNSF-funded project, we plan to develop and investigate new notions of group knowledge in multi-agent systems. The two classic forms of group knowledge are common knowledge and distributed knowledge. We will devise novel variants of these notions, which are important for distributed computing, and study their logical and mathematical properties.

    The starting date is negotiable. The initial contract will be for 12 months . After initial evaluation, an extension is possible for an additional 24 months (3 years total). Candidates should hold or expect a PhD and have a strong background in logic.

     

     

    For more information, see https://ohws.prospective.ch/public/v1/jobs/8b8cf096-16b4-455e-bebd-f40c3f098569 or contact Prof. Thomas Studer at .
  • CertiFOX-Edited.jpg

    PostDoc Position Proof Logging for Combinatorial Optimization, Leuven (Belgium)

    Deadline: Thursday 6 February 2025

    Prof. Bart Bogaerts is looking for talented PostDocs to join the CertiFOX project, where we bring 100% correctness guarantees to tools for combinatorial optimization.

    For more information, see here or at https://www.bartbogaerts.eu/projects/CertiFOX/#Hiring or contact Bart Bogaerts at .

  • PhD position on epistemic planning at DTU, Copenhagen (Denmark)

    Deadline: Saturday 1 February 2025

    DTU (Technical University of Denmark) is offering a PhD scholarship in logic and AI within the research project Attention in Epistemic Planning. Your principal supervisor will by Thomas Bolander.

    The project takes departure in epistemic planning based on dynamic epistemic logic (DEL), a line of research within symbolic AI initiated by the PI in 2011. It allows agents, e.g. robots, to reason about other agents, e.g. humans, as part of their planning process. The crucial novelty of the proposed project is to develop and integrate logical models of attention with the aim of 1) achieving better computational complexity and practical efficiency; 2) allow robots to reason about the limited attention of humans.

    For more information, see https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1/job/4447/ or contact Thomas Bolander at .

  • (New) PhD position in Knowledge Representation and Reasoning, Luxembourg (Luxembourg)

    Deadline: Friday 31 January 2025

    The Individual and Collective Reasoning Group (ICR), led by Prof. Leon van der Torre, is inviting applications for a PhD candidate position in Knowledge Representation and Reasoning.  

    We are seeking candidates with a strong interest or background in one or more of the following areas: * Knowledge Representation and Reasoning * Foundations of Formal Argumentation * Deontic Logic and Normative Multiagent Systems * Applications of Formal & Computational Argumentation * Automated Formal & Computational Argumentation * Integration of Non-symbolic and Symbolic Techniques.

    Details: * Contract Type: Fixed Term Contract 36 months, extendable by 1 year * Work Hours: Full Time 40.0 Hours per Week * Location: Belval * Internal Title: Doctoral researcher * Starting date: May 2025 (with flexibility) * Application deadline: January 31, 2025.

    For more information, see https://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=104056&nPostingTargetID=149108&lg=UK.

  • Faculty positions in Computer Science, Reykjavik (Iceland)

    Deadline: Thursday 30 January 2025

    The Department of Computer Science at Reykjavik University invites applications for full-time, permanent faculty positions at any rank, in particular in the fields of data science, software engineering, theoretical computer science, as well as visual computing, games, and interactive media. We seek candidates passionate about advancing science through innovative research and teaching, with a strong commitment to interdisciplinary collaboration across industry and academia, as well as real-world applications.

    For more information, see https://ui-jobs.50skills.app/ru/en/32303 or contact Hans Peter Reiser at .