Fixed-term: The funds for this post are available for 48 months.
Applications are invited for a PhD student to work on binary translators for improving reliability in general-purpose computer architectures.
Our research group has developed a number of approaches for increasing the reliability of applications through a novel use of parallelisation. Building on the success of the ParaMedic and ParaDox hardware schemes, we seek to use binary translation to exploit program parallelism to enhance the reliability of future microprocessors. We wish to modify applications on-the-fly to provide reliable execution in the presence of errors in commodity systems, such as those using Arm's DynamIQ technology. The successful candidate will develop binary analyses and translation schemes to identify opportunities and take advantage of them. They will work closely with a team of PostDocs and PhD students, as well as an industrial project partner.
Our group consists of PostDocs and PhD students investigating performance, reliability and security in future many-core systems. The position is within the Computer Architecture Research Group at the University of Cambridge Computer Laboratory, 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.
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 binary translation. Experience of using a tool such as DynamoRIO or Pin would be helpful, as would familiarity with working in teams with robust engineering practices (version control, continuous integration, automated testing). An awareness of the challenges and potential solutions to reliability at the microprocessor level would be useful.
This position is open to applicants from anywhere in the world; all university fees will be paid by the project and the successful candidate will receive a stipend at the UKRI rate (https://www.ukri.org/our-work/developing-people-and-skills/find-studentships-and-doctoral-training/get-a-studentship-to-fund-your-doctorate/), currently £15,609 per year.
The funds are available for a start date in January 2022 but there is flexibility to enable a start in April or October 2022.
Further details may be obtained from Dr Timothy Jones, email email@example.com
Please provide a Curriculum Vitae (CV) and a covering letter outlining your relevant past experience, drawing particular attention to relevant hardware or software experience and linking to one or more examples of code written (e.g. a GitHub handle). If there are specific areas you would like to research, please indicate these in the letter.
Please quote reference NR28527 on your application and in any correspondence about this vacancy.
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.