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. #J-18808-Ljbffr We would love to welcome a new Staff Architecture Verification Engineer (OCaml) to our team in Cambridge, England, United Kingdom. Consider building your career as a Staff Architecture Verification Engineer (OCaml) at Arm Limited. The Staff Architecture Verification Engineer (OCaml) position in the IT & Technology field is open for applications. We have an opening for a Staff Architecture Verification Engineer (OCaml) in Cambridge, England, United Kingdom within IT & Technology.