AI Engineer hos Prover i Stockholm
Bygger AI-agenter och assistenter för att accelerera formell verifiering och ingenjörsarbetsflöden samt prototyper för digitala tvillingar. Du har erfarenhet av att ha utvecklat verktyg eller prototyper med LLM eller AI-agenter.
Titel, arbetsplatsens namn och sammanfattning skrivna av AI utifrån annonsen.
Bra att veta
Lön
Inom yrkesgruppen Ingenjörer och tekniker inom elektroteknik har de som jobbar i privat sektor i Stockholm i snitt 56 100 kr i månaden, varav 53 700 kr i grundlön. I hela landet, i privat sektor, tjänar hälften mellan 42 400 kr och 57 700 kr, och de som är 18–24 år har i snitt 34 500 kr. Det är statistik för yrket, inte vad den här arbetsgivaren betalar.
Källa: SCB, lönestrukturstatistik 2025
Anställningen
Anställningen har inget slutdatum. Den kan börja med en provanställning på högst sex månader. Vill arbetsgivaren avsluta den under provtiden ska du få besked minst två veckor i förväg; annars blir den en vanlig tillsvidareanställning när provtiden är slut. Därefter krävs sakliga skäl för att säga upp dig, och uppsägningstiden är minst en månad, längre ju längre du har varit anställd.
Ett kollektivavtal kan ge andra regler än lagen.
Texten är skriven med AI och kan innehålla fel. Kontrollera med arbetsgivaren.
Källa: Lagen om anställningsskydd (LAS)
Arbetsgivaren
Det är deras första annons inom yrkesgruppen Ingenjörer och tekniker inom elektroteknik på två år.
Källa: vår sammanställning av Arbetsförmedlingens annonser
AI Engineer Internal Tooling & AI-Powered Products
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
Liknande jobb
Ingenjörer och tekniker inom elektroteknik · Stockholm med grannarTitlar och arbetsplatsnamn skrivna av AI