Applications for this job are now closed
Arm is the industry's leading supplier of microprocessor technology providing efficient, low-power chip intelligence making electronic innovations come to life. Through our partners, our designs power everything from coffee machines to the fastest supercomputer in the world. Our technology enriches the lives of over 70% of the world’s population - and we want to hear from anyone that is interested in working with us on the future generations of compute.
About Arm and Arm Research
Arm plays a key role in our increasingly connected world. Every year, more than 20 billion products featuring Arm technology are shipped. Our engineers design and develop CPUs, graphics processors, sophisticated system technologies, supporting software development tools, and physical libraries.
At Arm Research, we develop new technology that can grow into new business opportunities. We keep Arm up to speed with recent technological developments by pursuing blue-sky research programmes, collaborating with academia, and integrating new technologies into the wider Arm ecosystem. Our research activities cover a wide range of fields from mobile and personal computing to server, cloud, and HPC computing. Our work and our researchers span a diverse range from circuits to theoretical computer science. We all share a passion for learning and creating.
About the strategic projects group and our work
We are looking for an intern to join our strategic projects team; we work on government and industry funded projects covering everything EDA automation, security and standards and develop proof of concept designs. We are looking for candidates interested in formal analysis.
Formal analysis is frequently used for verifying the accurate functioning of hardware designs, cryptographic algorithms, and security protocols. Verifying the correctness of software implementations is considered the next logical step in attempting to make sophisticated system components more secure against attacks but also against failure.
The latter is the focus of safety critical system design while the former is attempted by the design for security approach. The purpose of this project is to formally verify the security properties of the Mcuboot bootloader.
Mcuboot is a frequently used bootloader for low-end IoT devices. The successful candidate will have to explore the landscape of options available for solving such a task followed by using the most promising approach. The goal is to feed the outcome back to the Mcuboot open source project.
Job requirements
Education
- Our interns typically pursue Masters or PhD degrees in engineering and science, most commonly Computer Science, Electrical Engineering, Mathematics, or Physics, but we encourage applications from any field of study if you are motivated and feel your unique skills are relevant to what we do.
- We will also consider your application if you are pursuing an undergraduate or bachelor's degree and have relevant project or work experience.
Skills and Experience
- Experience in formal methods
- Good understanding of embedded systems
- You are proficient in C programming.
- An active contribution to open source projects
Our internships and how to apply
We invite you to apply for an internship if your research interests align with ours and are enthusiastic about the type of work we do. As an Arm Research intern, you will get a first-hand view of how Arm crafts its technology and maintains an ecosystem of more than one thousand partners that have shipped over 170 billion leading-edge Arm-powered processors. We will work closely with you to develop an internship project that is tailored to your interests. Our internships are three months long with flexible start dates. We offer continuous support, feedback, and development opportunities as well as flexibility to decide how to complete project tasks.
You will work alongside experienced researchers within a specific team and also the wider research group doing real project tasks.
Please provide a cover note with your application; include some information about what you are interested in and the kind of projects you would like to work on. If you have a clear idea about the work you want to do, include it in your letter. It is okay not to be 100% sure! Tell us about your studies and what you enjoy, and we will try to find the right fit for you.
Arm Research recognizes that diverse and inclusive teams generate exceptional ideas and innovations critical to an outstanding research organization's success. We do not discriminate because of race, religion, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.
Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of any characteristic.
