AI Engineer – Internal Tooling & AI-Powered Products

Prover Technology AB; Stockholms kommun; On-site; SEK 431,778 - 647,668; Full time

Job summary

An established tech company in Stockholm is seeking a Mid-level AI Engineer to work with the AI team on embedding AI into engineering workflows. The successful candidate will build AI agents and integrate SDKs for internal platforms. Strong communication skills and a hands-on mindset are required. This role offers the opportunity to impact sustainable transport innovations and collaborate with world-class engineers in formal methods.

Qualifications

• Hands-on builder with experience in AI tools or prototypes.
• Curiosity about AI and agent frameworks.
• Comfortable across the stack and collaborates well.

Responsibilities

• Build AI agents to enhance engineering workflows.
• Evaluate and integrate various agent SDKs.
• Prototype AI features for digital twin platform.

Skills

AI agents and assistants

Prototyping AI features

Strong communication

Collaboration with domain experts

Tools

Agent SDKs

LLMs

Job description

Location: Stockholm/Toulouse

Level: Mid-level

Reports to: AI & Innovation Lead

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.g., Anthropic Agent SDK, OpenAI Agents SDK, or similar) to build our own internal AI platform
• Prototype AI-powered features for Prover Station, our digital twin and formal verification platform
• Explore how LLMs can accelerate the adoption of formal methods in safety-critical domains

What we’re looking for

A hands-on builder who has shipped tools or prototypes using LLMs or AI agents, professionally, inside projects, or in open source

Deeply curious about AI and the fast-moving landscape of agent frameworks and developer tooling

Comfortable across the stack. We care more about builder mindset than a specific language or framework

Strong communicator who enjoys collaborating with domain experts in formal methods and signaling

Motivated by impact. Rail is one of the most energy-efficient modes of transport, and that matters to you

Nice to have

• Experience with agent SDKs and platforms
• Familiarity with formal methods such as formal logic, formal specification, model checking, proof-oriented programming, and theorem proving
• Experience building internal developer tools or platforms
• Interest in domain-specific languages and how AI can make them more accessible

Prover isn’t a startup chasing hype. We’re an established company with real-world impact on sustainable transport infrastructure. You’ll join world-class engineers in formal methods, and you’ll have the freedom to define how AI transforms what we do. If you want to build things that matter, we’d love to hear from you.