Applications are invited for a PhD student to work on machine-learning guided and verifiably correct code generation.
Creating optimised libraries is a difficult and time-consuming task, requiring significant manual engineering effort. This process must be repeated for each new processor to take advantage of additional features, especially when it implements the latest architecture with new instructions or significant new architectural extensions, like Arm's SVE and SME. However, advances in machine learning point towards a low-cost solution to this task by automating code generation through a series of provably correct steps. A machine-learning model will guide the search for optimised code sequences, learning the best instructions to use for given intermediate code fragments and alleviating manual engineering effort.
The successful candidate will develop new code-generation strategies using machine-learning models and verification tools, suitable for deployment by library writers within the compilation toolchain, working closely with project partner, Arm.
We seek candidates with a strong background in Computer Science (1st class honours degree or equivalent, although a Master's is particularly desirable) with a particular interest in compilers or binary modification tools and machine learning. Experience of writing code for a tool such as LLVM or DynamoRIO would be helpful, as would familiarity with working in teams with robust engineering practices (version control, continuous integration, automated testing)..
Non-UK applicants may apply but will be expected to arrange the balance between the home rate and overseas rate fees themselves. Note that this studentship does not include the immigration health surcharge or visa costs. https://www.ukri.org/our-work/developing-people-and-skills/find-studentships-and-doctoral-training/get-a-studentship-to-fund-your-doctorate/
Full details of the University's entrance requirements and scholarships are specified on the following link: https://www.postgraduate.study.cam.ac.uk/
Please make your application through the University Application Portal:
https://www.postgraduate.study.cam.ac.uk/courses/directory/cscspdpcs
Similar Positions
-
Ph D Studentship On Architecting Scalable Quantum Computers (Fixed Term), University of Cambridge, United Kingdom, about 15 hours ago
Applications are invited for a PhD student to work on developing computer architecture for quantum computers, under the supervision of Dr. Prakash Murali. Quantum computers hold immense potential ...
-
Mrrc Ph D Towards Sustainable Catalysis And Sustainable Aviation Fuels (Fixed Term) , University of Cambridge, United Kingdom, about 15 hours ago
Two fully funded 3.5 year Ph.D studentships are available to UK nationals and outstanding international students, with Professors Lynn Gladden, Mick Mantle and Andy Sederman, to start 1 October 20...
-
Kidney Research Uk Ph D Studentship: Enzymatic Conversion Of Blood Group Antigens In Human Kidneys, University of Cambridge, United Kingdom, about 15 hours ago
Applications are invited for a 3-year PhD studentship funded by Kidney Research UK under the supervision of Dr Sarah Hosgood. The studentship will be based in the University of Cambridge Departmen...
-
Ph D Studentship In Medical Science (Fixed Term), University of Cambridge, United Kingdom, about 15 hours ago
We are currently advertising one UKRI/MRC PhD studentship for entry in October 2024, which will be awarded on a competitive basis. The studentship pays for Cambridge University and College fees, a...
-
Ph D Studentship In The Framework Of The Msca Doctoral Network Glitter: Advanced Bayesian Analysis And Optimisation (Fixed Term), University of Cambridge, United Kingdom, about 15 hours ago
Fixed-term: The funds for this post are available for 36 months in the first instance. Summary: Full-time PhD position funded by UKRI, in the context of the ERC doctoral network GLITTER (12 PhD st...
-
Mrrc Ph D Safe Storage Of Hydrogen And Carbon Dioxide In Porous Rocks (Fixed Term), University of Cambridge, United Kingdom, about 15 hours ago
Safe Storage of Hydrogen and Carbon Dioxide in Porous Rocks A fully funded 3.5 year Ph.D studentship is available to UK nationals and outstanding international students, with Professors Lynn Gladd...