PhD position: Improving Language Models with Formal Knowledge in Industry

In the context of our VLAIO TETRA project ‘Reliable Language Intelligence for Knowledge’ (ReLIK), we are looking for a PhD student within the DTAI research unit, part of the Department of Computer Science, and the EAVISE research group, a KU Leuven research group in Sint-Katelijne-Waver, to conduct research on the combination of language models and formal systems in an industrial context.
Website unit

Project

In industry, language models are currently being widely experimented with to build, among other things, intelligent assistants and company-specific search functions. However, we notice that companies still have many questions about reliability: modern LLMs still do not guarantee correctness and tend to hallucinate facts. By contrast, other AI technologies, such as knowledge graphs and formal reasoning engines, are able to reason reliably, but are less good at handling ambiguity.

This PhD focuses on combining these two types of systems, in close collaboration with industry. Research into this kind of neuro-symbolic AI is growing, but before it can be applied in industry, many obstacles still need to be overcome. Together with the companies in the consortium, you will examine their needs and questions, investigate what problems remain, and develop new methods and techniques to remove these barriers. The exact focus of the PhD will therefore be determined along the way, based on input from the companies and your own interests. You will become a member of the EAVISE group in Sint-Katelijne-Waver, centrally located in Flanders and easily accessible by train or car.

Profile

• You have a master’s degree in computer science, AI, informatics, or a similar field.
• You have solid experience with language models and how to integrate them into applications.
• Experience with formal systems is not required, but is a plus.
• You speak and write English fluently. Knowledge of Dutch is a nice plus.
• You are interested in neuro-symbolic AI systems and are motivated to make AI systems more reliable.
• You are able to collaborate smoothly with others.

Offer

• We offer a full-time PhD position for 1 year, extendable to 4 years after a first positive evaluation.
• You conduct research in a driven research environment, leading to a doctoral degree.
• You will become part of a dynamic research group, with access to computer infrastructure and travel budgets.
• You will have the opportunity to attend international conferences and build a scientific network.

Interested?

For more information, please contact prof. dr. Simon Vandevelde, mail: [email protected].

KU Leuven strives for an inclusive, respectful and socially safe environment. We embrace diversity among individuals and groups as an asset. Open dialogue and differences in perspective are essential for an ambitious research and educational environment. In our commitment to equal opportunity, we recognize the consequences of historical inequalities. We do not accept any form of discrimination based on, but not limited to, gender identity and expression, sexual orientation, age, ethnic or national background, skin colour, religious and philosophical diversity, neurodivergence, employment disability, health, or socioeconomic status. For questions about accessibility or support offered, we are happy to assist you at this email address.