Staff Architecture Formal Engineer
- Salary
- £97.3K–£131.7K
- Moves you to
- United Kingdom
- Support
- Visa sponsorship
- Posted
74,951 relocation jobs, straight from company career pages
100% free · New jobs every minute
Show job descriptionHide job description
Job ID 2025-16272 Date posted 01/12/2025 Location Cambridge, United Kingdom Category Architecture
Arm is investing in formal models since 2016. The concurrency model (see
Equipped with those two formalisations, Arm is now looking to develop lightweight verification methods, augmented with AI as necessary. As a consequence, the Formal Team in the Architecture Technology Group is looking to hire somebody with a passion for verification, and with a taste for concurrency and large code bases.
Job Overview
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.
Responsibilities
The role involves the following responsibilities:
Arm is investing in formal models since 2016. The concurrency model (see
Equipped with those two formalisations, Arm is now looking to develop lightweight verification methods, augmented with AI as necessary. As a consequence, the Formal Team in the Architecture Technology Group is looking to hire somebody with a passion for verification, and with a taste for concurrency and large code bases.
Job Overview
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.
Responsibilities
The role involves the following responsibilities:
- Communication with architects, hardware designers and software developers to determine interesting properties;
- Refined analysis of the landscape to assess which solutions are ideal;
- Tool development and deployment into production to ensure the ecosystem benefits from our solutions;
- Mentoring of colleagues to widen the impact of our solutions.
Required Skills And Experience
You will get to apply your engineering and communication skills to support the Arm architecture and influence millions of devices for years to come. You will be part of an innovative and hardworking team which works on sophisticated, groundbreaking and impactful projects. You will be able to share your ideas with a wide group of experts, and expand your technical leadership and influencing skills.
Please note that no relocation package is available for this role. If skilled worker sponsorship is required, Arm will meet costs associated with sponsorship for the employer only. All fees associated with the individual’s application e.g. visa application fee and Immigration Health Surcharge, will be the responsibility of the successful candidate.
Our 10x Mindset
About
At Arm, we believe progress happens when people are empowered to think bigger and push beyond what seems possible. Our 10x mindset is about curiosity, ambition and creating impact that will be used by millions. We learn fast, prioritise collaboration and turn bold ideas into real technology. We look for people who are inspired by this way of working and want to grow in an environment where bold ideas are welcomed. Discover how the 10x mindset shapes life at Arm:
Use of AI in Your Application
At Arm, we embrace the benefits AI can bring, including in recruitment. You may use AI to support your preparation, such as improving the clarity of written responses, practicing interview questions, or learning more about our industry. However, your application and interview responses must reflect your own thinking, experience, and abilities. We want to understand your authentic perspective, creativity, and approach to problem solving. As such, you may not use AI to complete assigned tasks as part of any assessments. If you plan to use AI-supported or assistive technologies as part of a reasonable adjustment, please contact
Recruitment Adjustments and Accommodations
At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email
Hybrid Working
Arm’s approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.
Equal Opportunities
Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.
Salary Range
£97,300 - £131,700 per year
- 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.
- A PhD in Computer Science or a related field would be a plus.
- Having worked with both hardware and software colleagues would ensure smooth and productive communication throughout the company and the ecosystem.
You will get to apply your engineering and communication skills to support the Arm architecture and influence millions of devices for years to come. You will be part of an innovative and hardworking team which works on sophisticated, groundbreaking and impactful projects. You will be able to share your ideas with a wide group of experts, and expand your technical leadership and influencing skills.
Please note that no relocation package is available for this role. If skilled worker sponsorship is required, Arm will meet costs associated with sponsorship for the employer only. All fees associated with the individual’s application e.g. visa application fee and Immigration Health Surcharge, will be the responsibility of the successful candidate.
Our 10x Mindset
About
At Arm, we believe progress happens when people are empowered to think bigger and push beyond what seems possible. Our 10x mindset is about curiosity, ambition and creating impact that will be used by millions. We learn fast, prioritise collaboration and turn bold ideas into real technology. We look for people who are inspired by this way of working and want to grow in an environment where bold ideas are welcomed. Discover how the 10x mindset shapes life at Arm:
Use of AI in Your Application
At Arm, we embrace the benefits AI can bring, including in recruitment. You may use AI to support your preparation, such as improving the clarity of written responses, practicing interview questions, or learning more about our industry. However, your application and interview responses must reflect your own thinking, experience, and abilities. We want to understand your authentic perspective, creativity, and approach to problem solving. As such, you may not use AI to complete assigned tasks as part of any assessments. If you plan to use AI-supported or assistive technologies as part of a reasonable adjustment, please contact
Recruitment Adjustments and Accommodations
At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email
Hybrid Working
Arm’s approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.
Equal Opportunities
Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.
Salary Range
£97,300 - £131,700 per year
