AI Engineer Internal Tooling & AI-Powered Products

The role You’ll work within the AI team reporting to the AI & Innovation Lead. You will be primarily supporting R&D and Solutions but collaborating with all teams, to embed AI into Prover’s engineering workflows and help shape our next generation of AI-powered products, initially for railway signaling, and over time for safety-critical systems more broadly. You will: Build AI agents and assistants that accelerate formal verification and engineering workflows Evaluate and integrate agent SDKs (e.