PhD Studentship

4 weeks ago


Cambridge, Cambridgeshire, United Kingdom University of Cambridge Full time

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.

Full details of the University's entrance requirements and scholarships are specified on the following link:

Please make your application through the University Application Portal:

See advert for detais



  • Cambridge, Cambridgeshire, United Kingdom University of Cambridge Full time

    Decarbonizing the global economy can only be achieved by reducing the carbon intensity of energy sources. A key to achieving this is reducing the techno-economic barriers to replacing fossil fuel usage with low carbon and renewable sources. Solutions which reduce plant costs, improve plant efficiency, and increase plant flexibility with other energy sources,...

  • Programme Manager

    4 weeks ago


    Cambridge, Cambridgeshire, United Kingdom University of Cambridge Full time

    Applications are invited for a Programme Manager to take overall responsibility for the administration of the grants and associated human, physical and digital resources of the Construction Information Technology (CIT) Group led by Professor Ioannis Brilakis. The Programme Manager is supported by, and line manages, a Programme Coordinator as well as a...


  • Cambridge, Cambridgeshire, United Kingdom University of Cambridge Full time

    Funder: Novo Nordisk (home and overseas candidates eligible)Duration: 4 years (start October 2024)Supervisor: Professor James ElliottStipend: EPSRC equivalent, £19327 per annumDuring early-stage formulation and process development, scientists undergo extensive experimental screening campaigns and, although the tablet failure risk is reduced, there still...

  • Phd Studentship

    4 weeks ago


    Cambridge, United Kingdom University of Cambridge Full time

    PhD Studentships - NIHR Blood and Transplant Research Unit in Organ Donation and Transplantation The NIHR BTRU in ODT provides a centre of excellence dedicated to research into organ donation and transplantation. The overarching aims are to increase the number of organs available, improve long-term outcomes and improve quality of life after...


  • Cambridge, United Kingdom University of Cambridge Full time

    The Leverhulme Centre for Life in the Universe and the University of Cambridge are committed to Widening Participation in postgraduate students at the University of Cambridge. Research within the Centre aims to develop a deeper understanding of life, its emergence, and its distribution in the Universe by addressing four questions: - What are the chemical...


  • Cambridge, United Kingdom University of Cambridge Full time

    We have funding for a number of 4-year PhDs, in collaboration with industry, on net zero infrastructure and built environment under the four following themes: Current and disruptive technologies Circularity and whole life approach AI, digitalisation and data Risk-based systems thinking and connectivity Studentships are fully-funded (fees and...


  • Cambridge, United Kingdom University of Cambridge Full time

    The Cardiovascular Epidemiology Unit at the University of Cambridge is looking for an ambitious self-motivated student to undertake a 3-year PhD studentship to combine multi-omics data (genomics, transcriptomics, proteomics, metabolomics etc) and electronic health record (EHR) data in multiple large-scale population cohorts to address questions relating to...


  • Cambridge, Cambridgeshire, United Kingdom University of Cambridge Full time

    We have funding for a number of 4-year PhDs, in collaboration with industry, as part of our EPSRC Centre for Doctoral Training in Future Infrastructure and Built Environment: Unlocking Net Zero (FIBE3 CDT), under the four following themes: Current and disruptive technologies Circularity and whole life approach Risk-based systems thinking and connectivity...


  • Cambridge, United Kingdom University of Cambridge Full time

    Applications are invited for 4-year **PhD studentship** based in the **Department of Oncology, University of Cambridge and the new AstraZeneca Discovery Centre** at Cambridge. The student will be working on a collaborative project jointly supervised by Dr Harveer Dev, Dr Simon Pacey (University Department of Oncology) and Dr Josep Forment (Oncology R&D,...


  • Cambridge, United Kingdom University of Cambridge Full time

    A fully paid PhD studentship is offered at the Cambridge University Engineering Department in the area of nuclear reactor core analysis methods development. It is offered under Industrial Cooperative Awards in Science & Technology (iCASE) scheme of the UK Engineering and Physical Sciences Research Council (EPSRC) in collaboration with EDF Energy, the owner...


  • Cambridge, United Kingdom University of Cambridge Full time

    The project is funded in collaboration with ARUP, a professional services firm with a focus on the built environment and expertise in strategy, design, planning and engineering. By 2035, UK's building stock is expected to deliver 63% reduction in total carbon emissions from 2019 levels. These reductions will have to come from a combination of altering...


  • Cambridge, United Kingdom University of Cambridge Full time

    AHRC Collections & Communities in the East of England Collaborative Doctoral Partnership (CDP) Start date: 1st October 2024 (fixed term for 4 years) Interviews will take place online on Tuesday 11 June. The University Museum of Zoology and Cambridge University Herbarium have exceptional collections from South Asia and the Mascarene Islands (taken to...


  • Cambridge, United Kingdom University of Cambridge Full time

    Decarbonizing the global economy can only be achieved by reducing the carbon intensity of energy sources. A key to achieving this is reducing the techno-economic barriers to replacing fossil fuel usage with low carbon and renewable sources. Solutions which reduce plant costs, improve plant efficiency, and increase plant flexibility with other energy...


  • Cambridge, United Kingdom University of Cambridge Full time

    Fixed-term: The funds for this post are available for 36 months in the first instance. Summary: Full-time 3 year PhD position funded by UKRI, in the context of the ERC doctoral network GLITTER (12 PhD students), to perform doctoral research in the development of modern antenna technology and radio instrumentation for GNSS-R and Radio Astronomy from space....


  • Cambridge, United Kingdom University of Cambridge Full time

    Fixed-term: The funds for this post are available for 48 months. The Project 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...


  • Cambridge, United Kingdom University of Cambridge Full time

    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 for applications that can revolutionise society, including domains such as drug design, agriculture, climate change and more. To cater to applications in these...


  • Cambridge, United Kingdom University of Cambridge Full time

    Within the construction industry, there are established legacy processes which predate the digital age. These processes facilitate the delivery of projects and collate documentation for future reference. However, often, data is collected without structure or digitisation which hinders value creation from knowledge management and does not allow for big data...


  • Cambridge, United Kingdom University of Cambridge Full time

    Funder: Novo Nordisk (home and overseas candidates eligible) Duration: 4 years (start October 2024) Supervisor: Professor James Elliott Stipend:  EPSRC equivalent, £19327 per annum During early-stage formulation and process development, scientists undergo extensive experimental screening campaigns and, although the tablet failure risk is reduced, there...


  • Cambridge, United Kingdom University of Cambridge Full time

    Funder: Novo Nordisk (home and overseas candidates eligible)Duration: 4 years (start October 2024)Supervisor: Professor James ElliottClosing date: 16 May 2024Stipend: EPSRC equivalent, £19327 per annum During early-stage formulation and process development, scientists undergo extensive experimental screening campaigns and, although the tablet failure...