52 proof-checking-postdoc-computer-science-logic PhD positions at KU LEUVEN in Belgium

IoT in agriculture: Development of novel sensor technology for online milk quality and cow health and welfare monitoring (PhD)

KU LEUVEN | Belgium | 7 days ago

Engineering » Computer engineering Engineering » Control engineering Engineering » Industrial engineering Engineering » Systems engineering Chemistry » Analytical chemistry Agricultural sciences » Agronomics

PhD Position in Declarative Problem Solving

KU LEUVEN | Belgium | 3 months ago

computer science or a closely related field (e.g., mathematics) The selected candidate is interested in declarative problem solving, combinatorial optimization, knowledge representation, and/or logic

PhD student position in Data Science – KU Leuven

KU LEUVEN | Belgium | about 2 months ago

28 Feb 2026 Job Information Organisation/Company KU LEUVEN Department ORSTAT/FEB Research Field Computer science » Database management Computer science » Modelling tools Economics » Business

Multiple PhD Positions in AI and Machine Learning

KU LEUVEN | Belgium | about 2 months ago

7 Mar 2026 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Application Deadline 8 May 2026 - 23:59 (UTC

PhD Position in Machine Learning–Driven Chromatographic Retention Modeling

KU LEUVEN | Belgium | 9 days ago

16 Apr 2026 Job Information Organisation/Company KU LEUVEN Research Field Chemistry » Analytical chemistry Chemistry » Instrumental analysis Computer science » Programming Computer science

PhD position: Building the Next-Generation Data Anonymization Engines

KU LEUVEN | Belgium | 15 days ago

10 Apr 2026 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Informatics Computer science » Computer architecture Researcher Profile First Stage Researcher (R1

Instituut voor Internationaal Recht – PhD position (100%)

KU LEUVEN | Belgium | about 2 months ago

28 Feb 2026 Job Information Organisation/Company KU LEUVEN Research Field Juridical sciences » International law Researcher Profile First Stage Researcher (R1) Application Deadline 19 Mar 2026 - 23

PhD position in Finance

KU LEUVEN | Belgium | 20 days ago

4 Apr 2026 Job Information Organisation/Company KU LEUVEN Research Field Economics » Applied economics Researcher Profile First Stage Researcher (R1) Application Deadline 20 Apr 2026 - 23:59 (UTC

PhD position in the domain of AI and signal processing algorithms for EEG-based

KU LEUVEN | Belgium | about 1 month ago

Engineering » Computer engineering Engineering » Electrical engineering Engineering » Knowledge engineering Researcher Profile First Stage Researcher (R1) Application Deadline 29 May 2026 - 23:59 (UTC) Country

PhD-student position: Optimizing Demand-Responsive Electric Mobility Systems Under Uncertainty

KU LEUVEN | Belgium | about 1 month ago

17 Mar 2026 Job Information Organisation/Company KU LEUVEN Department Engineering science Research Field Engineering » Industrial engineering Engineering » Computer engineering Computer science