PhD position in Formal methods in Natural Language Processing (NLP) at Leiden University [NL]

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 Models (LLMs).  While LLMs have proven successful in many areas of NLP, they suffer from high data and resource usage and display limited generalization capacity in tasks that humans excel at. You will have the opportunity to investigate how formal methods can help in developing more efficient and more transparent models for Natural Language Understanding.

In this position you are expected to develop your own research line; as such we ask for a brief research proposal (max. 1 page) which outlines a project you would like to work on.You will be embedded in the Leiden Institute of Advanced Computer Science (LIACS) at Leiden University, supervised by dr. Gijs Wijnholds and prof. dr. Suzan Verberne.