Staff Architecture Verification Engineer; OCaml

A leading technology firm in Cambridge is seeking a candidate to join the Architecture Formal Team. This position requires experience in OCaml development and the ability to communicate with architects and designers. Responsibilities include tool development, analysis, and mentoring. Applicants with a PhD in Computer Science are preferred. Join a team committed to innovation and support the Arm architecture, which influences millions of devices.

Hybrid working options available.
We invite applications for the Staff Architecture Verification Engineer (OCaml) position located in Cambridge, England, United Kingdom. We aim to respond to suitable candidates as soon as possible. Full responsibilities and requirements are described in the listing above. Learn more about the Staff Architecture Verification Engineer (OCaml) role in the description above. We appreciate your interest in this position. Join Arm Limited and contribute to our ongoing work.