From cloud to edge, Arm provides the compute platforms behind today’s most advanced AI, trusted by innovators worldwide. Backed by SoftBank VF.
About the role
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.
What they're looking for
- Experience in OCaml development is necessary
- Having some experience developing and deploying verification techniques in an industrial context would be best
- Having some notion of how to build an AI chatbot that does not hallucinate would be necessary
- A keen interaction with customers and consumers of our tools would make this project a success
More about this role
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, augmented with AI as necessary. 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.
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...
Browse similar: Startup jobs · Remote jobs