University of Cambridge

Job Opportunities

Jobs

Research Assistant/Associate in Static Analysis of Binaries (Fixed Term)


Research Assistant £25,287 - £29,301 or Research Associate £29,301 - £38,183

Fixed-term: The funds for this post are available for 24 months.

Applications are invited for a Research Assistant/Associate to work on static analysis of program binaries.

Our research group focuses on a number of approaches to realise performance gains from program parallelisation. Following our work on the HELIX automatic parallelising compiler, we are developing schemes to identify, realise and exploit thread-level parallelism directly from application binaries. This involves a static analysis of the program, feeding the results to a dynamic binary translation tool which will carry out the parallelisation for real, whist the application runs.

The successful candidate will complement our research in these directions. He or she will develop new analyses that will identify properties of the application binary that we wish to exploit. These may be the data or control dependences between instructions or the conditions under which certain functions are executed. They will join a growing team of PostDocs and PhD students investigating performance, reliability and energy-efficiency in future many-core systems. The position is within the Computer Architecture Research Group at the University of Cambridge Computer Laboratory in a joint project with Cancer Research UK and ARM. Collaboration with researchers at other universities and industry around the world is encouraged and there are strong links within the group with local companies.

We seek candidates with a strong background in Computer Science with an interest in compilers and computer architecture. Applicants should have experience in extracting parallelism and dealing with memory dependences within a compiler or their own tool. Knowledge of dynamic systems, such as binary translators or JITs, would be ideal. Experience in parallel programming would be significantly advantageous.

Applicants should provide evidence of relevant work, where possible, and must demonstrate a desire to perform internationally-leading research and to publish in the top computer architecture and compiler conferences.

This position can be filled by an appropriate candidate at research assistant or research associate level, depending on relevant qualifications and experience. Appointment at research associate level is dependent on having a PhD (or equivalent experience). Where a PhD has yet to be awarded appointment will initially be made as research assistant and amended to research associate when the PhD is awarded.

Interested applicants may contact Timothy M. Jones - http://www.cl.cam.ac.uk/~tmj32/

To apply online for this vacancy, please click on the 'Apply' button below. This will route you to the University's Web Recruitment System, where you will need to register an account (if you have not already) and log in before completing the online application form.

Please ensure you upload your Curriculum Vitae (CV) and a covering letter. Candidates should upload a short (2-3 pages) proposal of the research that they wish to undertake during the project. If you upload any additional documents which have not been requested, we will not be able to consider these as part of your application.

Please quote reference NR11597 on your application and in any correspondence about this vacancy.

The University values diversity and is committed to equality of opportunity.

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

Apply online