Your supplier contract has a baseline assumption you haven’t verified
Validate signaling data before supplier handover. Learn how Infrastructure Managers can reduce ERTMS project delays, rework, and integration risks with Data Readiness.
Mathias Soder2026-08-04T07:37:04+01:00Signaling systems|
Validate signaling data before supplier handover. Learn how Infrastructure Managers can reduce ERTMS project delays, rework, and integration risks with Data Readiness.
Mathias Soder2026-08-04T07:37:04+01:00Signaling systems|
Validate signaling data before supplier handover. Learn how Infrastructure Managers can reduce ERTMS project delays, rework, and integration risks with Data Readiness.
Lars Dahlberg2026-07-08T15:06:57+01:00Webinar|
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Jesper Carlström2026-07-09T08:00:10+01:00Events|
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Jesper Carlström2026-06-23T21:04:22+01:00Webinar|
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Mats Boman2026-03-24T12:52:25+01:00AI|
Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.
Gunnar Smith2026-06-23T21:06:08+01:00Webinar|
How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.
Ida George2026-03-16T15:10:53+01:00Job openings|
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.
Ida George2026-03-10T13:25:21+01:00Job openings|
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.
Ida George2026-03-24T12:45:44+01:00Events|
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.
Ida George2026-03-31T12:40:55+01:00Job openings|
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.
Jesper Carlström2026-03-24T12:46:18+01:00Webinar|
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Lars Dahlberg2026-07-08T15:06:57+01:00Webinar|
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Jesper Carlström2026-07-09T08:00:10+01:00Events|
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Jesper Carlström2026-06-23T21:04:22+01:00Webinar|
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Mats Boman2026-03-24T12:52:25+01:00AI|
Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.
Gunnar Smith2026-06-23T21:06:08+01:00Webinar|
How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.
Ida George2026-03-16T15:10:53+01:00Job openings|
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.
Ida George2026-03-10T13:25:21+01:00Job openings|
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.
Ida George2026-03-24T12:45:44+01:00Events|
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.
Ida George2026-03-31T12:40:55+01:00Job openings|
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.
Jesper Carlström2026-03-24T12:46:18+01:00Webinar|
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.












Get the latest news and updates about Prover.
| Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.
We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.
We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.