AI Engineer Internal Tooling & AI-Powered Products
Prover Technology AB · Stockholm, Sverige · full-time, permanent · På plats · 23 september 2026
Varför ett CV för det här jobbet?
- De ser det de bad om, först. Den erfarenhet som matchar annonsen kommer först, med annonsens egna ord, så att den som skummar hittar det på några sekunder.
- Det tar sig förbi programvaran. Många större arbetsgivare använder program som rangordnar CV:n efter hur väl de matchar annonsen, ofta innan någon har läst dem.
- På annonsens språk. En annons skriven på engelska får ett CV på engelska, även när ditt är på svenska.
- Dina fakta, inget påhittat. Din egen erfarenhet, omordnad och omformulerad. Det annonsen vill ha och ditt CV inte visar listas så att du kan lägga till det, bara om det stämmer. Du kontrollerar det innan du skickar det.
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
- Arbetsgivare
- Prover Technology AB
- Ort
- Stockholm, Sverige · På plats
- Anställningsform
- full-time, permanent