PhD Candidate, Formal methods in Natural Language Processing
Academic Positions
Job Description
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):