Technical and Translational Lead - Safeguarded AI (Cybersecurity)

About ARIA

What you'll do

• Design and run the operating rhythm for 8-week sprint cycles (build/verify, red-team, review, and retarget) across funded teams
• Work with funded teams to drive ambition, technical excellence and precise assurance claims, surface blockers and track progress.
• Coordinate red/blue-team interactions so findings are timely, actionable, and shape next-cycle decisions
• Shape and run programme workshops, milestone reviews, go/no-go or double-down recommendations, and final showcase moments.

• Help us continually ask: how can this programme drive the largest possible gains for cyber resilience in the UK and globally?
• Monitor targets and programme strategy in light of AI capability and tooling progress, cyber misuse risk, formal-methods tractability, and real-world adoption potential.
• Spot high-leverage opportunities for driving what is possible through AI-enabled formal methods, and advise where ARIA should push, redirect, double down, or stop.

• Engage and leverage the UK cyber/CNI/AI/FM ecosystem to ground targets in real operational needs, validate specifications and threat models, source field-trial partners, and open adoption pathways.
• Help teams turn successful outputs into field trials, upstreamed components, partnerships, commercial routes, open-source adoption, procurement pathways, or spinouts.

Who you are

• Technical judgement across cyber, systems security, and formal methods — not necessarily deep expert-level proof engineering, but enough fluency to challenge fuzzy threat models, vague assurance claims, weak proof boundaries, or low-leverage targets.
• Strategic taste about cyber resilience in an AI-accelerated world — able to reason about where AI-enabled formal methods could matter most, what is urgent, what is tractable, and where £20m could be genuinely transformative.
• Executional excellence — able to drive the sprint cycles, create cadence, coordinate and unblock multiple ambitious technical teams, and keep technically ambitious work moving without adding unnecessary process.
• Translational instincts — experience getting outputs into the world: demonstrations, field trials, adoption, upstreaming, commercial routes, open-source uptake, procurement pathways, or spinouts.
• Stakeholder engagement — comfortable working with researchers, engineers, red-teamers, operators, government, funders, and senior technical stakeholders, and able to use those relationships to sharpen targets and open adoption paths.

Benefits

• 27 days annual leave provision, with the option to buy/sell additional days
• Hybrid working arrangements; 60% in office / 40% at home
• Supportive environment for learning and development opportunities
• Enhanced family leave arrangements
• A free and confidential 24/7 employee assistance programme
• 2 days of paid volunteer days
• 5% defined contribution pension scheme with Smart Pension
• Cycle to Work scheme
• An excellent office location in Kings X, London