Staff Architecture Verification Engineer (OCaml)

Arm Limited; Cambridge; Hybrid; GBP 40,000 - 60,000; Full time

Job summary

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.

Qualifications

• Experience in OCaml development is necessary.
• Experience developing verification techniques in an industrial context is preferred.
• Keen interaction with customers and consumers of our tools.

Responsibilities

• Communicate with architects, hardware designers, and software developers.
• Refine analysis of the landscape for ideal solutions.
• Develop and deploy tools to production.
• Mentor colleagues to widen the impact of our solutions.

Skills

OCaml development

Verification techniques

Customer interaction

Education

PhD in Computer Science or related field

Job description

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.