If you are a talented PhD student with an interest in compilers and security, we would love to hear from you.
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 specialities 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 5 th February 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 Jeremy Bennett, Chief Executive, via jeremy.bennett@embecosm.com. Closing date for applications: 15 th December 2017.
[1] Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto Implementations, M E Oswald & D Page, Jan 2016. http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/N011635/1
[2] Security Enhanced Compilers, J Bennett, February 2017. http://www.embecosm.com/2017/02/20/security-enhanced-compilers/