Postdoctoral Research Assistant

Queen Mary University of London - School of Electronic Engineering & Computer Science

Applications are invited for a Postdoctoral Research Assistant position on Optimizing Compilers with focus on code generation and optimization based on constraint solving.

The main responsibility of the role is to integrate a novel superoptimization approach with advanced compiler optimization methods for auto-vectorization, and apply it to ARMs most-recent versions of Advanced SIMD architecture extensions NEON and SVE. Activities associated with this role include assessing the performance of code generation and generated code, and working as part of the team to improve the encoding and tune the solver.

The post is part of the Theory Research Group in the School of Electronic Engineering and Computer Science (EECS) at Queen Mary University of London (QMUL). Details about the School can be found at The post is funded by The Research Institute in Verified Trustworthy Software Systems (VeTSS). Details can be found at

The ideal candidate will have basic working knowledge of optimizing compilers and experience with one or more of the following: SMT solvers, software verification, analysis or synthesis. Experience in low-level programming or assembly programming (especially for ARM) is desirable. Knowledge of programming language design and implementation, computer architecture, constraint solving and optimization is also welcome. Before taking up the post, the candidate should have completed a PhD or an equivalent degree in Computer Science or a related discipline.

This is a full time post with an immediate start, ending on 31 March 2018. The starting salary will be in the range of £32,956 - £36,677 per annum inclusive of London allowance. Benefits include 30 days annual leave, defined benefit pension scheme and interest-free season ticket loan.

Candidates must be able to demonstrate their eligibility to work in the UK in accordance with the Immigration, Asylum and Nationality Act 2006. Where required this may include entry clearance or continued leave to remain under the Points Based Immigration Scheme.

Informal enquiries can be made by email to Dr. Greta Yorsh (

To apply, please visit the Human Resources website on and search for reference QMUL12403.

Candidates are politely requested to upload documents totaling no more than 10 pages.

Please note large documents e.g. PhD thesis/Research papers are not forwarded to the interview panel.

The closing date for applications is 8 November 2017. Interviews are expected to be held shortly thereafter.

Valuing Diversity & Committed to Equality.

QMUL is proud to be a London Living Wage Employer.

Share this job
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role: