53 proof-checking-postdoc-computer-science-logic PhD positions at KU LEUVEN

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

KU LEUVEN | Belgium | 8 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

Vacancy for a Phd researcher in the field of Digital Process Twins

KU LEUVEN | Belgium | about 11 hours ago

information, check our group's home page. You can also find more information about the PhD program in Business Economics via the link below. Eligibility criteria Candidates preferably have a master's degree in

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 | 10 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 | 16 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