Arm
Senior Security Architect
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
Formal Verification Engineer – Lightweight AI-Augmented Analyses
Location: Cambridge, United Kingdom Category: IT
Arm has invested in formal models since 2016, most recently developing a formal specification of its Architecture Specification Language (ASL) and expanded its concurrency model to system-level. The team now seeks a passionate verification engineer with expertise in concurrency and large-scale codebases to pioneer lightweight, AI-augmented analysis techniques.
About the Role
This role joins Arm’s Formal Team in the Architecture Technology Group, a dynamic collective with diverse skill sets.
You’ll bring fresh insights as we address novel challenges, combine cutting-edge tools with AI, and bridge gaps between awareness, innovation, and action. Our aim is to foster mutual learning through:
- Deep technical discussions on architectural properties and systems
- Collaborative discovery of Feasible: Can AI safely complement or orchestrate our verification?
- Actionable deployment of tools into production ecosystems
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
Responsibilities
The ideal candidate will:
- Engage with architects, hardware designers, and software developers to identify critical verification properties
- Map solutions to business needs, identifying optimal verification techniques, trade-offs, and tools
- Customise, extend, and deploy analyses into Arm’s production pipelines, ensuring maximum impact
- Mentor team members to amplify tool and methodology adoption within and beyond Arm
Required Skills & Experience
- Mandatory:
- Proven skills in OCaml development
- Experience building and deploying industrial verification tools
- Understanding of LM generative AI systems, with emphasis on factual accuracy (non-hallucination)
- Strong ability to interface with engineers and end-users, requirements-gatherers, or tool adopters
Nice-to-Have
- Doctorate in Computer Science or formal methods-related disciplines
- Cross-domain experience bridging hardware/software teams and collaboration
Get help with your application
Your very own career expert that helps elevate your application to the next level.
Benefits
- Drive long-term technical impact, shaping hundreds of millions of devices via Arm’s architectures
- Collaborate in a innovative high-performer team on world-leading research and engineering challenges
- Expand your influence and leadership as we celestrate umerate ideas across diverse stakeholders Arm is committed to providing a respectful environment where equal opportunity exists for all. We value diversity and do not discriminate on factors including race, gender identity, disability, or J-visa status. Skilled worker visas will be priced accordingly.
Hybrid Working: Flexible, team-matched to balance productivity and work-life integration. Localized constraints apply where necessary.
Remarks: No relocation aid provided. Visa processing fees and health surcharge remain the applicant’s responsibility. Sponsorship fees for employers only will be covered by Arm.
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills