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