Postdoc Position in High-level Synthesis for Concurrency

We are aiming to develop exciting methods to reason about memory ownership for concurrent programs and develop high-level synthesis tool flows based on these methods. Our aim is to significantly improve the automated synthesis of custom hardware from multi-threaded code.

As well as being able to demonstrate skills and experience in one or more of the above areas, you should have the ability to interact with a wide range of people across a number of partner institutions and with international collaborators, the ability to develop and apply new concepts, and excellent verbal communication skills. You should also be able to organise your own work with minimal supervision, work to deadlines and demonstrate willingness to work as part of a team.

This post also offers opportunities to work with colleagues from Imagination Technologies, with the potential for industrial impact. We are keen to speak to candidates with a strong background in both software and hardware development.

- High-Level synthesis tool development - Working with the LLVM compiler framework - Concurrent program analysis *Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range 34,397 to 37,486 per annum. For informal enquiries about the post please contact Professor G. Constantinides at g.constantinides@imperial.ac.uk

Our preferred method of application is online via our website. Please click 'apply' below or go to https://www.imperial.ac.uk/job-applicants/ and search using reference number ENG00..