Arm is investing in formal models since 2016. The concurrency model (see https://developer.arm.com/Architectures/Memory%20Model%20Tool) has now expanded from user-level to system-level. More recently, Arm is developing a formal description of its Architecture Specification Language, which is used in the Arm Architecture Reference Manual to specify the operation of each instruction of the Instruction Set (see https://developer.arm.com/documentation/ddi0602/latest).
Equipped with those two formalisations, Arm is now looking to develop lightweight verification methods. As a consequence, the Formal Team in the Architecture Technology Group is looking to hire an intern with a passion for verification, and concurrency.
Job Overview
In this role, you will join Architecture Formal Team. We are a small team with a wide range of skills, and ideally you would bring fresh perspectives as we address new challenges. We are hoping to learn from you, and together develop extensions to the model to check architectural properties and make the architecture better. Are you interested in deep discussions? Enthused by discovering requirements? Enthused at the prospect of deploying your tools into production? Then we would love to have you join us at our Cambridge-based newly built offices.
Required skills and experience
We're looking for individuals who are:
⦁Pursuing a master’s degree, a PhD degree, or equivalent experience in Computer Science or a related field.
⦁ Proficient in OCaml programming language
⦁Excellent notions of weak memory models.
"Nice to haves"
Arm is proud to have a set of behaviours that differentiate our talent in the marketplace. These are embedded in all our roles and applicants are encouraged to evidence their attitudes/behaviours as part of the application process:
⦁Strong notions of monads and functors.
Additional Information
We are seeking to complete our recruitment process and communicate application outcomes as swiftly as possible. However due to a high number of applications received, we will continue to update you on the process.
In Return
Working on interesting new projects is exciting, but we also know how significant it is to receive support. That's why throughout your internship, you can expect regular feedback and development opportunities, social activities to connect with your peers, an end of summer celebration, plus the opportunity to be *considered for future Graduate positions (*subject to performance). #getreadytogrow
Our program is crafted to give you the best start possible and support your personal growth as well as professional development. Gain a competitive salary, supporting rewards package, alongside unparalleled learning and networking opportunities from the best in industry.
#LI HR1