# Staff Architecture Formal Engineer at Arm

- Company: Arm
- What the company does: From cloud to edge, Arm provides the compute platforms behind today’s most advanced AI, trusted by innovators worldwide. Backed by SoftBank VF.
- Company website: https://www.arm.com/
- Type: Startups
- Level: Senior
- Location: Remote (US)
- Work setup: Remote
- Posted: date not listed
- Apply by: 2026-11-12
- Apply: https://careers.arm.com/job/cambridge/staff-architecture-formal-engineer/33099/89039360960
- Page: https://www.1752.vc/careers/jobs/arm-staff-architecture-formal-engineer/

## About the role

In this role, you would be part of the Architecture Formal Team. We are a small team with a wide range of skills, and ideally you would bring fresh perspectives as we tackle new challenges. We are hoping to learn from you, and together develop lightweight analyses to check architectural properties and make the architecture better. Are you interested in deep discussions? Excited by discovering requirements? Enthused at the prospect of deploying your tools into production? Then we would love to have you join us.

## What they're looking for

- Experience in OCaml development is necessary
- Having some experience developing and deploying verification techniques in an industrial context would be best
- Having some notion of how to build an AI chatbot that does not hallucinate would be necessary
- A keen interaction with customers and consumers of our tools would make this project a success


Source: 1752vc Careers, https://www.1752.vc/careers/jobs/arm-staff-architecture-formal-engineer/