OCaml Verification Architect Architecture Formal Methods
Job in
Nottingham, Nottinghamshire, NG1, England, UK
Listed on 2026-08-31
Listing for:
Camwebdir
Full Time
position Listed on 2026-08-31
Job specializations:
-
Design & Architecture
Job Description & How to Apply Below
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-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(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).
(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).
Search for further Jobs Here:
×