Search
Go
AI Engineer Internal Tooling & AI-Powered Products
Summary by AIEngineer.careers
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
STOCKHOLM · SE
—
Full-time
MID
The sections below reproduce the third-party job description for reference. AIEngineer.careers does not write or control this text.
Imported job description
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.
Responsibilities
- Build AI agents and assistants to accelerate formal verification and engineering workflows
- Evaluate and integrate agent SDKs (e.g., Anthropic, OpenAI) to build an internal AI platform
- Prototype AI-powered features for Prover Station, a digital twin and formal verification platform
- Explore LLM applications in adopting formal methods for safety-critical domains
Requirements
- Proven experience shipping tools or prototypes using LLMs or AI agents
- Hands-on builder mindset with strong curiosity about agent frameworks and developer tooling
- Comfortable working across the full stack
- Strong communication skills and ability to collaborate with domain experts in formal methods
Nice to Have
- Experience with specific agent SDKs and platforms
Prover Technology AB
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.
