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
#J-18808-Ljbffr
