Back to search results

PhD Studentship in Program Synthesis

The University of Edinburgh - School of Informatics

Qualification Type: PhD
Location: Edinburgh
Funding for: UK Students, EU Students, International Students
Funding amount: 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
Hours: Full Time
Placed On: 30th November 2023
Closes: 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.

Candidate’s profile

Essential:

  • A good Bachelor’s Hons degree (2.1 or above or international equivalent) and/or Master’s degree in a relevant subject (physics, mathematics, engineering, computer science, or related subject)
  • Strong programming skills, preferably in C++ and Python
  • Proficiency in English (both oral and written)
  • Good communication and technical writing skills

Desirable:

  • Comfortable with first-order logic
  • Familiarity with automated verification techniques such as SAT/SMT solvers
  • Understanding of basic principles of machine learning (e.g., those covered by an introductory machine learning course)

Studentship and eligibility

The studentship covers:

  • 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 per year for 3.5 years
  • Additional programme costs of £1000 per year.

Application Information

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:

  • All degree transcripts and certificates (and certified translations if applicable).
  • Evidence of English Language capability (where applicable).
  • A short research proposal (max 2 pages).
  • A full CV and cover letter describing your background, suitability for the PhD, and research interests (max 2 pages).
  • Two references (note that it the applicant’s responsibility to ensure reference letters are received before the deadline).

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.

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

PhD tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
 
More PhDs from The University of Edinburgh

Show all PhDs for this organisation …

More PhDs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge