|UK Students, EU Students, International Students
|Full time PhD tuition fees for a student with a Home fee status (£4,712 per annum) or overseas fee status (£29,700 per annum); a tax free stipend of £18,622 pa for 3.5 years; additional programme costs of £1000 pa
|30th November 2023
|5th January 2024
Deadline: 5 January 2024 (or until position is filled)
One fully funded PhD position to work with Dr Elizabeth Polgreen in the School of Informatics at the University of Edinburgh, on program synthesis for automatic code modernization.
Program synthesis is the task of automatically generating code that satisfies some specification. Machine learning techniques such as large language models have the ability to generate huge amounts of code, but they cannot offer any guarantees that the code is correct. On the other hand, formal synthesis techniques like CounterExample Guided Inductive Synthesis (CEGIS) produce code that is guaranteed correct, but simply do not scale well.
The aim of this project is to develop novel program synthesis algorithms that integrate highly scalable machine learning methods with classic formal synthesis methods. The project will apply these algorithms to automatically lifting legacy code to modern programming paradigms.
Studentship and eligibility
The studentship covers:
Applicants should apply via the University’s admissions portal (EUCLID) and apply for the following programme Informatics LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling PhD with a start date of 1st May 2024 or 1st September 2024.
Applicants should state “Program Synthesis” and the research supervisor (Elizabeth Polgreen) in their application and Research Proposal document.
Complete applications submitted by 5th January will receive full consideration; after that date applications will be considered until the position is filled. The anticipated start date is 1st May or 1st September 2024 but later start dates can be considered.
Applicants must submit:
Only complete applications (i.e. those that are not missing the above documentation) will progress forward to Academic Selectors for further consideration.
Apply by clicking the 'Apply' button, above.
Type / Role: