Search
Go
AI Engineer Internal Tooling & AI-Powered Products is a AI Agent Engineer role (full-time). with Prover Technology AB. in STOCKHOLM, SE. Imported listing (source: vakanser.se). Apply on the employer's site (vakanser.se).
Imported listing (source: vakanser.se) · Apply on vakanser.se
The sections below reproduce the third-party job description for reference. AIEngineer.careers does not write or control this text.
Sourced from vakanser.se
Prover Technology AB is seeking an AI Engineer to build internal tools and AI-powered products for safety-critical railway signaling systems. You will focus on developing AI agents and assistants to accelerate formal verification workflows and integrate modern agent SDKs into their engineering platform.

Stockholm · SE · 38+ employees
Prover Technology AB is a Swedish software company focused on development and verification and validation of railway-signaling systems. Its products include tools for specification, code generation, simulation, formal verification, and certification of rail-control systems, and it also provides training and partner services.