Hardware Verification Programme
AI chips are being deployed in systems where nobody can independently verify what’s running on them. This is a six-day programme in Cambridge for experienced hardware engineers to work on that problem — trusted execution, tamper resistance, confidential computing, and auditable infrastructure.
August 2026
Cambridge, UK
10 engineers
Fully funded
How it works
Mornings are talks and workshops from researchers and engineers working on hardware verification. Afternoons are working sessions with residents. By Day 6, you present to peers and practitioners.
Context loading
Readings and two live sessions before the week, so you arrive with context on where hardware verification stands and what’s open.
Why this matters and what’s been tried
Talks on the geopolitical context, hardware-enabled governance mechanisms, and what verification needs to look like. You’ll also begin scoping your end-of-week project and finding collaborators.
What’s been built and what’s missing
Hardware security, anti-tamper, confidential computing, and specific verification proposals. Sessions led by people building in this space.
Where the teams are stuck
Organisations working on AI hardware verification present what they’re building, where they’re stuck, and what they need.
Presentations
Present your scoping document and get feedback from peers, mentors, and org representatives.
Engineers with hardware depth
You’ve spent five or more years in hardware engineering — electronics design, firmware, FPGAs, embedded systems, secure hardware, or cryptographic implementations.
A working understanding of what hardware verification needs to look like, and direct relationships with the people and organisations building it.
Who you'll learn from
Residents are people with deep context on hardware verification who join the programme to give talks, run sessions, and work alongside you.
Péter Drótos
Ex-ARM. Future of Life Institute.
Harrison Gietz
Longview Philanthropy.
More to be confirmed
Interested?
Small cohort. Fully funded. Cambridge-based.
Questions? hello@cambridgeaisafety.org