AI Engineer Internal Tooling & AI-Powered Products, Stockholm

Prover Technology AB • Stockholm

Tillsvidareanställning (inkl. eventuell provanställning)HeltidTills vidareFast månads- vecko- eller timlön

Om tjänsten

Prover Technology AB söker medarbetare till Stockholm. Arbetsförmedlingen klassar tjänsten som Dataingenjör i yrkesgruppen Ingenjörer och tekniker inom elektroteknik. Det här är en tillsvidareanställning. Provanställning kan förekomma inledningsvis. Det finns inget slutdatum angivet. Omfattningen är heltid. Lönen betalas som fast månads-, vecko- eller timlön. Sista ansökningsdag är den 23 oktober.

Just nu finns 115 lediga jobb som Ingenjörer och tekniker inom elektroteknik i Stockholm på Platsannonser.se.

Beskrivning

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


Ansök på Platsbanken