Research Assistant/Associate position in Verification and Language Support for GPU Programming at Imperial College London
An exciting opportunity has arisen for a Research Assistant (pre-doctoral but must be close to completing a PhD) or a Research Associate (post-doctoral) to work on the European Union project CARP (Correct and Efficient Accelerator Programming). The purpose of the project is to design programming languages, optimizing compilers and formal verification techniques to allow dramatic improvements in the design of software for accelerator processors, particularly GPUs.
Imperial College will lead the project, which is in collaboration with seven other outstanding European universities and companies.
Within the project, the applicant will be responsible for:
* Designing novel verification techniques for analysing software written for graphics processing units (GPUs)
* Implementation of these techniques as a state-of-the art tool, to be evaluated on case studies provided by the industrial partners
* The design (in collaboration with partners) of a new intermediate language for productive programming of accelerator devices
* Investigating the use of verification technology for analysis of energy consumption in software for accelerator devices
* Writing project reports and delivering these in accordance with the CARP project plan.
* Taking a lead in collaborating with other project partners to ensure aims of the project are met
The Department of Computing is a leading department of Computer Science among UK Universities. It has consistently been awarded the highest research rating (5*) in Research Assessment Exercises (RAE), coming 2nd in the 2008 RAE, and was rated as "Excellent" in the previous national assessment of teaching quality.
The post would be especially suitable for someone with a strong background in either verification or programming languages, including a good grasp of theory, but crucially a keen practical interest in designing efficient verification/program analysis tools.
For more information, and to apply online, visit:
http://www3.imperial.ac.uk/computing/vacancies#1
Closing date: 12 December