KU Leuven
Top university
2 months ago
This position has expired. You can find similar positions from the section below or browse our positions listing pages.
PhD in Efficient Inference for Knowledge-Based Systems KU Leuven in Belgium
Degree Level
PhD
Field of study
Computer Science
Funding
Full-time PhD position funded for 1 year initially, extendable to 4 years after a first positive evaluation. The offer includes a doctoral research position, access to computer infrastructure, travel budgets, and opportunities to attend international conferences.
Deadline
Expired
Country
Belgium
University
KU Leuven

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Suggested positions
Keywords
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 [email protected].
Funding details
Full-time PhD position funded for 1 year initially, extendable to 4 years after a first positive evaluation. The offer includes a doctoral research position, access to computer infrastructure, travel budgets, and opportunities to attend international conferences.
What's required
Applicants should have a master’s degree in computer science, AI, informatics, or a similar field. Hands-on experience with formal systems and reasoning engines is required, along with strong knowledge of logic. Excellent Rust programming skills are expected because the internal reasoning engine is written in Rust. Fluency in spoken and written English is required; Dutch is a plus. Ability to collaborate smoothly with others is also expected.
Ask ApplyKite AI

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