Staff Architecture Formal Engineer

Job Title

Staff Architecture Formal Engineer

Role Summary

Join the Architecture Formal Team within Arm's Architecture Technology Group to develop lightweight formal verification methods for Arm architecture, including concurrency and instruction-specification formalisations. The team builds analyses and tools and deploys them into production to check architectural properties across hardware and software stacks.

Experience Level

Level: Senior (staff-level role). Specific years of experience not stated.

Responsibilities

The role works across architects, hardware and software teams to define properties, design analyses, and deliver production-quality tools.

• Collaborate with architects, hardware designers and software developers to identify verification targets.
• Analyse the problem landscape and select/refine appropriate verification solutions.
• Develop tools and deploy them into production so the ecosystem can use the results.
• Mentor colleagues to broaden the impact of verification techniques.

Requirements

Core skills and experience required or strongly expected.

• Must-have: Proven OCaml development experience.
• Must-have: Practical experience developing verification techniques and deploying tools in an industrial context.
• Must-have: Familiarity with building AI-driven assistants/chatbots with attention to reducing hallucinations.
• Must-have: Interest in concurrency and working with large code bases.
• Must-have: Strong communication and customer-facing interaction skills to work with tool consumers.
• Nice-to-have: Experience collaborating closely with both hardware and software engineering teams.

Education Requirements

PhD in Computer Science or a related field is listed as a plus. No mandatory degree or field-of-study requirement explicitly stated.

About the Company

Company: Arm

Headquarters: Cambridge, United Kingdom

ARM is a global leader in semiconductor and software design, driving innovation in computing technology. The company specializes in designing processors and systems that provide the essential building blocks for electronic devices. ARM's architecture is widely used in smartphones, servers, and IoT devices, and its collaborative culture fosters bold thinking, diversity, and high-impact benefits for its talented workforce.