Publisher
source

KU Leuven

Top university

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 flag

Country

Belgium

University

KU Leuven

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Suggested positions

Keywords

Computer Science
Information Technology
Mathematics
Artificial Intelligence
Mathematical Logic
Constrained Optimization

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?