KU Leuven
Top university
5 days ago
PhD in Efficient Inference for Knowledge-Based Systems KU Leuven in Belgium
Degree Level
PhD
Field of study
Computer Science
Funding
Full funding availableDeadline
Aug 17, 2026
Country
Belgium
University
KU Leuven

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
KU Leuven is advertising a PhD in efficient inference for knowledge-based systems within the DTAI research unit (Department of Computer Science) and the EAVISE research group in Sint-Katelijne-Waver, Belgium.
The project focuses on improving the efficiency of inference tasks in knowledge-based systems, with research directions including lazy grounding, SMT solving, constraint optimization, and related reasoning-engine techniques. The exact scope can be shaped along the way based on scientific tendencies and the candidate’s interests.
Eligibility highlights: a master’s degree in computer science, AI, informatics, or a similar field; hands-on experience with formal systems and reasoning engines; strong logic background; excellent Rust programming skills; fluent English; Dutch is a plus; and good collaboration skills.
Funding: full-time PhD position for 1 year, extendable to 4 years after a positive evaluation. The role includes access to computer infrastructure, travel budgets, and support for international conference participation.
How to apply: submit your application via KU Leuven’s online application tool by 17 August 2026, 23:59 CET. For more information, contact Prof. dr. Simon Vandevelde at s.vandevelde@kuleuven.be.
Funding details
Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.
How to apply
Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.