Staff Architecture Formal Engineer – Arm
Job ID 2025-16272 | Date posted 01/12/2025 | Location Cambridge, United Kingdom | Category Architecture
Overview
Arm has been investing in formal models since 2016. The concurrency model has expanded from user-level to system-level, and Arm is developing a formal description of its Architecture Specification Language that is used in the Arm Architecture Reference Manual. With these formalisations, Arm now seeks to develop lightweight verification methods, augmented with AI, as part of the Formal Team in the Architecture Technology Group.
Responsibilities
* Communicate with architects, hardware designers and software developers to identify interesting properties.
* Refine analyses of the landscape to assess which solutions are ideal.
* Develop and deploy tools into production to benefit the ecosystem.
* Mentor colleagues to widen the impact of our solutions.
Required Skills and Experience
• Experience in OCaml development is necessary.
• Prior experience developing and deploying verification techniques in an industrial context is highly desirable.
• Knowledge of building AI chatbots that avoid hallucination is required.
• Strong interaction with customers and tool consumers to ensure project success.
Nice to Have Skills and Experience
• PhD in Computer Science or a related field.
• Experience collaborating with both hardware and software teams.
In Return
You will apply your engineering and communication skills to support the Arm architecture and influence millions of devices for years to come. You will join an innovative, hardworking team working on sophisticated, groundbreaking and impactful projects, sharing ideas with a wide group of experts and expanding your technical leadership.
Accommodations
Arm is an equal‑opportunity employer. If you need support or an accommodation during the recruitment process, please email accommodations@arm.com. All accommodation requests will be treated confidentially and disclosed only as necessary.
Equal Opportunities
Arm prohibits discrimination or harassment on the basis of race, ethnicity, religion, national origin, age, sex, sexual orientation, gender identity or expression, disability, neuro‑diversity, pregnancy, medical condition, marital status, citizenship status, military/veteran status, and any other characteristic protected by applicable law.
#J-18808-Ljbffr