PhD Candidate, Formal methods in Natural Language Processing

Job description

Teaser Text 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.While large language models (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 Understanding.The specific project content is to be decided between the applicants’ interest and the expertise of the supervisor (dr. Gijs Wijnholds: https://gijswijnholds.github.io ). Topics for the PhD may include (but are not limited to): 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. - Using logical methods to d...