AI Engineer Internal Tooling & AI-Powered Products

Prover Technology AB · Stockholm

Don’t apply blind. See how your CV matches Engineer first — free, in 30 seconds.

Check my CV — freeApply on arbetsformedlingen.se ↗

You will leave NewLuxJob. We do not receive or handle applications.

Company
Prover Technology AB
Location
Stockholm
Employment type
Full-time
Posted
September 23, 2026

About this job

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

Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.

Most-requested skills in Sweden

Based on 400 Sweden vacancies that list requirements, these are the skills employers ask for most often.

  • Project Management28% of postings
  • Lean20% of postings
  • CAD18% of postings
  • FEM/FEA16% of postings
  • CATIA15% of postings
  • MATLAB14% of postings
  • Quality Assurance10% of postings
  • PLC9% of postings
Engineer skills

Similar jobs

See if your CV fits this job

Paste your CV for an instant match score against this role — and get a tailored cover letter in one click.

  • Instant match score for this role
  • Tailored cover letter in one click
  • Free — no credit card
Check my CV — free
AI Engineer Internal Tooling & AI-Powered Products — Prover Technology AB | NewLuxJob