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 funding available

Deadline

Aug 17, 2026

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.

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Artificial Intelligence
Mathematical Logic
Constrained Optimization

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

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