Home / Jobs / PhD Candidate, Formal methods in Natural Language Processing

PhD Candidate, Formal methods in Natural Language Processing

📍 Academic Positions • Stockholm, Stockholm County, Sweden • Posted June 06, 2026

full-time Posted June 06, 2026
Apply Now

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):

  • Using logical methods to define task-relevant constraints on LLM finetuning;
  • Combining neural and symbolic approaches to solve Natural L...

    • Apply for This Position

    Ready to take the next step? Click the button below to submit your application.

    Submit Application