PhD scholarship in Robust Large Language Models for Intelligent Software Development - #1631288

Large Language Models (LLMs) are revolutionising software development by automating code generation and optimisation. However, applying LLMs to software development faces one glaring problem: correctness. Asking LLMs to generate the correct code remains a matter of luck. This project aims to make LLMs reliable for software engineering, enabling them to produce accurate and correct code.

This project will develop techniques to help software engineers complete previously costly and challenging tasks in real-life settings. If successful, this project will lead to fundamental breakthroughs in ML-based code reasoning.