PhD Studentship in Machine-Learning Guided Compilation

4 weeks ago


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 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.

Research Group

Our group consists of PostDocs and PhD students investigating performance, reliability and security in future many-core systems. We develop solutions within compilers, computer architectures and all associated tools, with a strong focus on parallelism. The position is within the Computer Architecture Research Group at the University of Cambridge Department of Computer Science and Technology, a vibrant and internationally leading environment. Collaboration with researchers at other universities and industry around the world is encouraged and there are strong links within the group with local, national and international companies.

Candidates

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)..

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

Application Process

More Information

The funds are available for a start date in October 2024 but there is some flexibility to enable a start at other points in the academic year.

Further details may be obtained from Prof. Timothy Jones,

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK.


  • PhD Studentship

    1 month 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...

  • Phd Studentship

    1 month 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 Toshiba Full time

    Quantum communications uses quantum mechanical phenomena to develop new and improved data transfer technologies. The field is currently experiencing immense interest, with many interesting open scientific problems and significant opportunities for developing practical new systems with wide-ranging benefits, such as securing telecommunication networks as...


  • 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 In Technology Group Limited Full time

    **Role: Machine Learning Scientist** **Salary: £80,000** **Location: Cambridge** **The Company** This is an amazing opportunity to work for a software consultancy completely dedicated to Machine Learning. The team is comprised of some of the most advanced Machine Learning Scientists in the country and works with a range of global businesses...


  • 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 IC Resources Full time

    Director of Machine Learning IC Resources is delighted to be partnering with an AI-chip manufacturer in their search for a new Director of ML (Machine Learning). Technical expertise and knowledge around developing novel model architectures and training methods for deep-learning hardware accelerators and applications is required to be successfulin this role,...


  • Cambridge, United Kingdom IC Resources Full time

    Director of Machine Learning IC Resources is delighted to be partnering with an AI-chip manufacturer in their search for a new Director of ML (Machine Learning). Technical expertise and knowledge around developing novel model architectures and training methods for deep-learning hardware accelerators and applications is required to be successful in this...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    IC Resources is delighted to be partnering with an AI-chip manufacturer in their search for a new Director of ML (Machine Learning). Technical expertise and knowledge around developing novel model architectures and training methods for deep-learning hardware accelerators and applications is required to be successful in this role, but on a day-to-day you...


  • 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, Cambridgeshire, United Kingdom Chisquare Group Full time

    Senior Machine Learning Researcher Language Modelling Cambridge, United Kingdom (Hybrid) A growing hardware-software co-design company is looking for a Senior Machine Learning Researcher Language Modelling to join its team! You will work within the machine learning team that focuses on training systems to transcribe both large vocabulary and...


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

    A fully funded PhD studentship is available under the supervision of Dr Shelly Singh-Gryzbon, with a start date of 1 October 2024. Funding will cover the student's stipend and tuition fees at the UK rate. Non-UK applicants will be considered only if they can fund the overseas fees differential or if they are awarded a suitable scholarship. (Please note that...


  • Cambridge, United Kingdom Understanding Recruitment Full time

    **Machine Learning Researcher (RNA, AI)** - How can change therapeutics for the better?_ We are currently looking for an experienced Researcherto join our growing AI organisation based in the UK and Canada, although allow fully remote working. As a Researcher, you will make a huge impact on patients who are reliant on the development of newdrugs, across the...


  • Cambridge, United Kingdom University of Cambridge Full time

    We are seeking a highly creative and motivated Postdoctoral Research Assistant/Associate to join the Machine Learning Group in the Department of Engineering, University of Cambridge, UK. This position will contribute to the research programme of the recently founded "AI Hub in Generative Models", a research consortium funded by EPSRC. The goal of the...


  • Cambridge, United Kingdom Understanding Recruitment Full time

    How can change therapeutics for the better?_ We are currently looking for an experienced Researcher** **to join our growing AI organisation based in the UK and Canada, although allow fully remote working. As a Researcher, you will make a huge impact on patients who are reliant on the development of new drugs, across the globe. As a Researcher, you will get...


  • Cambridge, United Kingdom In Technology Group Limited Full time

    **Role: Biomedical Machine Learning Researcher** **Salary: £65,000+** **Working Model: Remote** **The Company** This organization is a blockchain focused company currently developing a software to deliver multi-stakeholder AI. The organisation is looking to expand on its biotechnical team as its collective learning models have been transforming the...


  • Cambridge, United Kingdom Microsoft Full time

    Overview For our Microsoft Research Cambridge, UK, location, we are seeking Principal Researcher (equivalent to Director level/(US) tenured associate professor) candidates in the area of Machine Learning for Gaming and AI. We encourage applications from all candidates who are excited to tackle challenges that arise in applications of machine learning...


  • Cambridge, United Kingdom University of Cambridge Full time

    This full-time project is funded in collaboration with Ordnance Survey, geospatial experts who create, maintain and distribute detailed location information for Great Britain. Project Details: Within the built environment, a digital twin is a realistic digital representation of assets, processes, and systems. An ecosystem of connected digital twins which...


  • 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,...