Project manager – Rail and Metro
Vi söker nu efter en projektledare för ett par större projekt och även för att hantera ett antal mindre projekt. För att passa för rollen behöver du:
Amanda Öberg2023-11-27T11:31:56+01:00Job openings|
Vi söker nu efter en projektledare för ett par större projekt och även för att hantera ett antal mindre projekt. För att passa för rollen behöver du:
Amanda Öberg2023-11-27T11:31:56+01:00Job openings|
Vi söker nu efter en projektledare för ett par större projekt och även för att hantera ett antal mindre projekt. För att passa för rollen behöver du:
Nicolas Aucouturier2023-11-24T14:42:11+01:00Events|
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Fei Niu2023-11-24T14:42:55+01:00Formal methods|
Here we will explore how rail control and signaling systems can potentially benefit from AI, with a particular focus on generative AI such as Large Language Models (LLMs).
Amanda Öberg2023-11-15T09:41:09+01:00Events|
Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest [...]
Gunnar Smith2023-11-29T09:51:41+01:00Formal methods, Webinar|
We cover the new Formal Methods (FMs) Guidebook from the Shift2Rail project. Learn more about when, why, and how should you use FMs in development of rail control systems.
Jesper Carlström2023-11-15T09:40:48+01:00Company news|
Prover Certifier now has a very powerful IC3 strategy, thanks to the release of Prover PSL 5.4. Prover PSL [...]
Amanda Öberg2023-11-15T09:41:19+01:00Events|
The SDA Forum has a history of success, and this autumn, our objective is to once again exceed your expectations. [...]
Anders Linden2023-09-08T14:51:10+01:00Modeling|
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your [...]
Benjamin Blanc2023-08-08T08:39:37+01:00Guide, Verification & Validation|
Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.
Anders Linden2023-08-08T08:39:50+01:00Modeling|
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude [...]
Mats Boman2023-05-09T07:41:21+01:00Modeling|
Imagine that today is the day that the world is inventing the railway, and you are part of the steering committee. With access to all of the technology that this modern age has to offer, how would you choose to manage the systems, and which methods and solutions would you use?
Nicolas Aucouturier2023-11-24T14:42:11+01:00Events|
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Fei Niu2023-11-24T14:42:55+01:00Formal methods|
Here we will explore how rail control and signaling systems can potentially benefit from AI, with a particular focus on generative AI such as Large Language Models (LLMs).
Amanda Öberg2023-11-15T09:41:09+01:00Events|
Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest [...]
Gunnar Smith2023-11-29T09:51:41+01:00Formal methods, Webinar|
We cover the new Formal Methods (FMs) Guidebook from the Shift2Rail project. Learn more about when, why, and how should you use FMs in development of rail control systems.
Jesper Carlström2023-11-15T09:40:48+01:00Company news|
Prover Certifier now has a very powerful IC3 strategy, thanks to the release of Prover PSL 5.4. Prover PSL [...]
Amanda Öberg2023-11-15T09:41:19+01:00Events|
The SDA Forum has a history of success, and this autumn, our objective is to once again exceed your expectations. [...]
Anders Linden2023-09-08T14:51:10+01:00Modeling|
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your [...]
Benjamin Blanc2023-08-08T08:39:37+01:00Guide, Verification & Validation|
Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.
Anders Linden2023-08-08T08:39:50+01:00Modeling|
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude [...]
Mats Boman2023-05-09T07:41:21+01:00Modeling|
Imagine that today is the day that the world is inventing the railway, and you are part of the steering committee. With access to all of the technology that this modern age has to offer, how would you choose to manage the systems, and which methods and solutions would you use?
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. 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.
Settings Approve Reject