Ida George, författare på Prover - Engineering a Safer World Interlocking Design Automation to meet demand for complex digital train control Tue, 31 Mar 2026 11:40:55 +0000 en-US hourly 1 https://wordpress.org/?v=6.9.4 Commercial Project Management Lead https://www.prover.com/job-openings/commercial-project-management-lead/ Mon, 16 Mar 2026 14:08:03 +0000 https://www.prover.com/?p=22602 Do you have experience in leading strategic and complex customer projects? Are you looking for an opportunity to leverage your experience throughout our company? Then this role might be right for you! We are now recruiting to a new position as a Commercial Project Management (PM) Lead.

Inlägget Commercial Project Management Lead dök först upp på Prover - Engineering a Safer World.

]]>

Location: Stockholm
Level: Mid-level

The role

In this role, you will drive excellence in customer delivery while improving project management capabilities across the organization. This is a unique opportunity to shape project management practices from the ground up while leading high-impact projects for leading rail safety customers.

Prover is a world leader in formal methods and formal verification for safety critical systems. The company was founded in 1996 in Stockholm, Sweden, and has gained extensive experience over the years in its field. Prover is also present in the US, France, and China. It is privately owned by investors and staff and has customers in more than 25 countries. Prover provides solutions for Signaling Design Automation that reduce time and cost with up to 50% for the commissioning of train control systems, with improved safety.

As a Commercial PM Lead, you will drive our most strategic and complex customer projects, build and mentor a community of project management excellence, drive commercial discipline and continuously evolve our project lifecycle process based on industry’s best practices and lessons learned. Importantly, your work will directly influence project profitability, customer satisfaction, and Prover’s reputation in the rail safety market.

At Prover, we are a dedicated, experienced and friendly team with an exciting journey ahead. If this sounds interesting to you – Come join us!

The position is full-time and based in our head-quarter in Stockholm. We will interview candidates continuously and welcome your application today.

 

Responsibilities

As a Commercial PM Lead, your main responsibilities include:

  • Ensure projects are delivered on time
  • Represent the company in front of customers
  • Understand technical aspects of projects
  • Identify and discuss projects creep
  • Report to Solutions Manager
  • Continuous improvement of tools and KPIs

Your Profile

Key Qualifications for the position include:

  • A relevant educational background
  • At least 5 years of experience in Project Management and leading complex and strategic customer projects within a relevant industry (e.g. Rail, Metrosignalling, Aerospace, Automotive)
  • Experience in driving commercial discipline in areas such as change management, scope integrity, and new opportunity identification
  • Fluent in English and Swedish is a requirement.

We are looking for a driven PM with a can-do attitude, strong project management skills and an eye for details. You work well both independently and in team settings, can handle multiple tasks and manage priorities in a timely manner. Strong social and communications skills and ability to manage both internal and external stakeholders are requirements for this role. You enjoy taking responsibility and initiative as well as applying curiosity to identify new opportunities and grit to solve problems. You are analytical, result-oriented and flexible and you enjoy a dynamic workplace where people matter, and your contributions will make a positive impact.

If you are passionate about making a difference and have the skills and experience to excel in this role, we invite you to apply today!

About Prover

Engineering a safer world

Trains are faster, more economical, safer and greener than cars and trucks. At Prover Technology, we are committed to doing our part for a better world. We supply solutions for engineering the safety-critical systems that control train signals and switches.

Prover has subsidiaries in the US, France and China. It is privately owned by investors and staff, and has customers in Europe, North America and Asia.

At Prover you will find a highly intelligent team, a respectful atmosphere and cultural diversity.

APPLY Today

Inlägget Commercial Project Management Lead dök först upp på Prover - Engineering a Safer World.

]]>
AI Engineer – Internal Tooling & AI-Powered Products https://www.prover.com/job-openings/ai-engineer-internal-tooling-ai-powered-products/ Tue, 10 Mar 2026 12:04:24 +0000 https://www.prover.com/?p=22589 Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond.
Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.

Inlägget AI Engineer – Internal Tooling & AI-Powered Products dök först upp på Prover - Engineering a Safer World.

]]>

Location: Stockholm/Toulouse 
Level: Mid-level 
Reports to: AI & Innovation Lead

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

Why join us?

Prover isn’t a startup chasing hype. We’re an established company with real-world impact on sustainable transport infrastructure. You’ll join world-class engineers in formal methods, and you’ll have the freedom to define how AI transforms what we do.
If you want to build things that matter, we’d love to hear from you.

APPLY Today
Prover logo

Application
Please submit your application to: jobs@prover.com

Inlägget AI Engineer – Internal Tooling & AI-Powered Products dök först upp på Prover - Engineering a Safer World.

]]>
Meet Prover at RailTech Europe – March 4–5 Utrecht, the Netherlands https://www.prover.com/events/meet-prover-at-railtech-europe-march-4-5-utrecht-netherlands/ Fri, 27 Feb 2026 09:21:18 +0000 https://www.prover.com/?p=22561 Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.

Inlägget Meet Prover at RailTech Europe – March 4–5 Utrecht, the Netherlands dök först upp på Prover - Engineering a Safer World.

]]>
Prover participation

Prover will be exhibiting at RailTech Europe on March 4–5 in Utrecht, the Netherlands.

Come and meet us in Booth 2.509 to discuss Open Signaling, migration to PLC-based architectures, and how Prover Station supports structured design, verification, and validation of signaling systems.

Workshop: Migration of Signaling Systems to PLC-Based SIL 4 Solutions

On March 4, our COO Jesper Carlström will host a workshop focused on the migration of signaling systems to PLC-based SIL 4 solutions. The session will draw on experience from the Stockholm Metro relay-to-PLC pilot project and share practical insights into modernizing legacy signaling installations and avoiding vendor lock-in by the use of open standards.

If you are planning modernization initiatives or exploring open signaling approaches, this session will provide valuable perspectives.

About RailTech Europe

RailTech Europe is one of the leading international exhibitions and conferences dedicated to railway technology, infrastructure, and innovation. Held in Utrecht, the Netherlands, the event brings together infrastructure managers, operators, system suppliers, engineering firms, and policymakers to discuss the future of rail modernization across Europe.

Book a meeting

Planning to attend RailTech Europe? Schedule a meeting with our team to discuss your modernization plans and signaling strategy.

You can also visit us directly at Booth 2.509.

See you in Utrecht.

Inlägget Meet Prover at RailTech Europe – March 4–5 Utrecht, the Netherlands dök först upp på Prover - Engineering a Safer World.

]]>
Office Coordinator https://www.prover.com/job-openings/office-coordinator/ Tue, 24 Feb 2026 13:34:33 +0000 https://www.prover.com/?p=22538 We are seeking an Office Coordinator to our Stockholm office.

The Office Coordinator plays a key role in ensuring that our office operates efficiently and in line with Prover’s standards of professionalism and quality. The role combines office management with broad administrative support to management and staff.

Inlägget Office Coordinator dök först upp på Prover - Engineering a Safer World.

]]>

Responsibilities

  • Manage day-to-day office operations and facilities coordination
  • Handle finance-related administration and invoice management
  • Support HR processes, including onboarding and staff updates
  • Coordinate travel and internal events
  • Provide administrative support to management and internal projects

Qualifications

We are looking for a structured, dependable and service-oriented professional with strong organizational skills and high integrity.

You should have:

  • Experience from office administration or support roles
  • Fluency in Swedish and English
  • Strong written communication skills
  • Good IT knowledge, including MS Office
  • The ability to work independently and collaborate across the organization
  • Experience working in a confidential environment is an advantage.

Working at Prover

Prover is an international company at the forefront of formal methods and software verification. We value precision, reliability and long-term thinking – both in our technical work and in how we operate as an organization.

This role offers the opportunity to contribute to the professional foundation that supports our continued growth.

About Prover

Engineering a safer world

Prover develops advanced formal verification technology that helps ensure safety and reliability in critical systems. Our customers operate in industries where precision and quality are essential. To deliver at this level, we rely on a structured and professional internal environment.

APPLICATION CLOSED
Prover logo

Application
Thank you for your interest. This position has now been filled.

Inlägget Office Coordinator dök först upp på Prover - Engineering a Safer World.

]]>