Vacancy number: 16571

Job type: PhD positions

Contract hours min: 38

Contract hours max: 38

Location: Leiden

Applying is possible until: 26 juni 2026

Applications are invited for a fully funded PhD candidature on the use of formal methods to enhance the efficiency, transparency and the understanding of Large Language (LLMs) have proven successful in many areas of Natural Language Processing, they suffer from high data and resource usage and display limited generalization capacity in tasks that humans excel at. In this PhD project you will have the opportunity to investigate how formal methods can help in developing more efficient and more transparent models for Natural Language (dr. Gijs Wijnholds: ). Topics for the PhD may include (but are not limited to):