Job Description

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 somebody with a passion for verification, and with a taste for concurrency and large code bases.

Job Overview:

In this role, you would be part of the Architecture Formal Team. We are a small team with a wide range of skills, and ideally you would bring fresh perspectives as we tackle new challenges. We are hoping to learn from you, and together develop lightweight analyses 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.

Responsibilities:

The role involves the following responsibilities:

• communication with architects, hardware designers and software developers to determine interesting properties;
• refined analysis of the landscape to assess which solutions are ideal;
• tool development and deployment into production to ensure the ecosystem benefits from our solutions;
• mentoring of colleagues to widen the impact of our solutions.

Required Skills and Experience :

Experience in developing and deploying verification techniques in an industrial context is necessary. A keen interaction with customers and consumers of our tools would make this project a success.

\xe2\x80\x9cNice To Have\xe2\x80\x9d Skills and Experience :

A PhD in Computer Science or a related field would be a plus. Having worked with both hardware and software colleagues would ensure smooth and productive communication throughout the company and the ecosystem.

In Return:

You will get to apply your engineering and communication skills to support the Arm architecture and influence millions of devices for years to come. You will be part of an innovative and hardworking team which works on sophisticated, groundbreaking and impactful projects. You will be able to share your ideas with a wide group of experts, and expand your technical leadership and influencing skills.

#LI-JW

Arm