OCaml Verification Architect Architecture Formal Methods
Listed on 2026-09-17
-
Design & Architecture
Architect / Sr. Architect
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
This role is for the OCaml Verification Architect Architecture Formal Methods role at Camwebdir.
All applications are reviewed carefully by our team.
The position is based in United Kingdom.
This opportunity is part of our work in IT & Technology.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).