PhD student position at the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology.
Project description
The doctoral student position focuses on fundamental research combining programming languages theory, compilers, and machine learning. In particular, the emphasis is on algorithms, formal semantics, and compiler techniques for both natural languages and programming languages. This includes novel ways of combining large language models (LLMs), transformers, formal semantics, and compiler technology. The PhD student position is funded by WASP (see below) via the project High-Confidence Transformer-Based Compilation of Partially Ambiguous Programs. Read more about the project: https://people.kth.se/~dbro/hctc.html
Supervision: Professor David Broman