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.
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 take on new challenges. We are hoping to learn from you, and together develop extensions to the concurrency model to check architectural properties and make the architecture better. Are you interested in deep discussions? Excited 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:
To be considered for this position you should be studying for a master’s degree or equivalent experience or a PhD in Computer Science or a related field.
We're looking for individuals who are:
⦁ Proficient in OCaml programming language
⦁ Excellent notions of weak memory models
⦁ Strong notions of monads and functors
"Nice to have":
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:
⦁ Operates reliably and openly in teams and shares both knowledge and success with a can-do demeanor
⦁ Builds strong and positive relationships based on mutual trust
⦁ Applies critical thinking and seeks alternative viewpoints and ideas
⦁ Displays a positive demeanor in gaining insight from team members and is receptive to feedback
⦁ Explores alternative perspectives before carefully crafting work that will deliver impactful results
⦁ Strives to achieve the best outcomes for Arm and our customers.
We are aspiring 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.
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, inspiring rewards package, alongside unparalleled learning and networking opportunities from the best in industry.