Head of Product – AI Formal Verification for Financial Services
London, office-based | £100,000–£140,000 + equity | Permanent
Introduction
Our client is a venture-backed deep-tech start-up, spun out of a leading London university and backed by a top-tier Silicon Valley investor. Its platform uses AI to support banks and quantitative funds with AI-generated code verification, and critical system migration verification. Its founders are a maths academic and a former global leader at a tier-one bank. The company has completed paid pilots with a global quant fund, and global banks are now onboarding.
This is the company’s first dedicated product hire. You will report to the CEO, decide which use cases the company sells first, and shape the platform into one product ahead of its Enterprise release in 2027.
Location
Office-based, five days a week, at the company’s London (Liverpool Street) office. Researchers, engineers and product work side by side there.
Key role details
- Own the product strategy and roadmap, balancing research, platform work and client delivery.
- Decide which use cases to pursue and which to drop, starting with AI pull-request review and code migration. Build the business case for each with client executives.
- Define the core workflows for those who approve specifications, the quants and developers whose code is checked, and the validators who review the evidence.
- Lead the Enterprise release: single sign-on, client controls, automations, usage billing and a full audit trail.
- Work with design partners and forward-deployed engineers to turn client engagements into a repeatable product and a clear pilot-to-production path.
- Launch self-serve plans for researchers and build the route from first sign-up to Enterprise contract.
- Own pricing and packaging with the CEO across enterprise licences, per-user and usage-based fees.
- Raise the quality of the product experience, documentation and onboarding, including the evidence clients’ model-risk teams need.
- Set up the product practice and build the team, starting with a product designer and working with the existing front-end engineers.
Experience and competencies required
- At least six years in product, product strategy or growth at B2B software companies, or as a founder who led product.
- A track record of launching a new AI or data product with enterprise clients and growing it from the first customers to repeatable revenue.
- Experience defining use cases and business cases with senior executives at large companies.
- Hands-on familiarity with AI agents and engineering workflows, including MCP, pull requests, CI and automated code-review tools.
- Comfort with technical and quantitative material, and the willingness to learn how formal specifications and proofs work.
- Sound judgement in setting priorities when research, platform and client demands compete.
- Clear communication with mathematicians, engineers and senior client stakeholders.
- Right to work in the UK, and the ability to work from a central London office five days a week.
Desirable
- Experience in or selling to banks and quant funds, ideally including model risk, model validation or legacy-system migration.
- Start-up or founding experience, including fundraising and hiring.
- Pricing usage-based products with self-serve and enterprise plans.
- Developer tools or infrastructure products, or familiarity with formal methods and theorem provers (ideally Lean).
Find out more about how Intelligent People can help with product management recruitment.
Looking for a product mentor? Learn more about our free product mentorship scheme and apply for a mentor today.