OCaml Verification Architect Architecture Formal Methods

Arm is seeking a contributor to the Architecture Formal Team to develop lightweight verification methods for concurrency and architecture properties, combining OCaml tool development with production deployment. You will join a small, skilled team and collaborate with architects, hardware designers and software developers to explore interesting properties.

The role emphasizes practical impact, mentoring colleagues, and influencing verification approaches across devices, with a hybrid working