Arbetsbeskrivning

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