Internship Opportunities at Embecosm
Embecosm provides services developing Free and Open Source (F/OSS) compilers for companies around the world. The architectures for which we develop compilers range from the smallest deeply embedded processors to the largest high performance computer systems. Our specialties include machine learning compilers, superoptimization, security enhanced compilers and compilers optimized to generate energy efficient code.
The Security Enhancing Compilation for Use in Real Environments (SECURE) project is led by Embecosm in collaboration with the LADA team at Bristol University [1]. It aims to transfer automated compiler security techniques such as bit-slicing and code balancing [2] from academic research into mainstream compilers. As part of this project, Embecosm is seeking a PhD student for a 4-month internship to work on implementing these techniques in LLVM and Clang.
You will need to have some understanding of compilers and an awareness of issues in writing secure code. Experience of working with LLVM or GCC would be an advantage, but is not essential. You will contribute publicly to the F/OSS projects on which you work, as well as to the wider dissemination of this work including Application Notes, case studies, and blog posts. Up to 10% of your time will be allocated for you to work on your own projects.
You must be eligible to work in the UK, and will be working at Embecosm’s Lymington office for the duration of the internship.
This four-month internship starts on 5th March 2018.
We will pay the successful candidates a pro rata salary based on an annual salary of £45k, plus benefits. Embecosm is an equal opportunities employer and we encourage applicants irrespective of age, disability, gender, race, marital status, religion or sexual orientation.
To apply, please send your CV and covering email letter to Graham Markall, Compiler Engineer. Closing date for applications: 29th January 2018.
[1] Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto Implementations, M E Oswald & D Page, Jan 2016.
[2] Security Enhanced Compilers, J Bennett, February 2017.