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

PhD Candidate, Formal methods in Natural Language Processing

Academic Positions
full-time Stockholm, Stockholm County Postsecondary Teachers
Posted:
June 06, 2026
Location:
Stockholm, Stockholm County, Sweden

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 Job

    Submit your application for the PhD Candidate, Formal methods in Natural Language Processing position at Academic Positions.

    Apply Now Save for Later

    Job Overview

    Job Type: full-time
    Location: Stockholm, Sweden
    Posted: June 06, 2026
    Deadline: July 16, 2026