Job openings

3103, 2025

Junior Sales Executive

Amanda Öberg2025-05-08T08:30:52+01:00Job openings|

Join the future of rail innovation.Are you looking to launch your career in B2B sales within a high-tech industry? Do you want to work with cutting-edge railway technology that ensures safety and efficiency for rail operators worldwide? Prover is seeking a Junior Sales Executive who is eager to learn, develop customer relationships, and grow with us. This role offers hands-on training, mentorship, and opportunities to work with some of the most advanced rail software companies in the world.

3103, 2025

Senior Sales/Account Executive

Amanda Öberg2025-04-01T07:52:19+01:00Job openings|

Shape the future of railway safety and automation.Are you an experienced B2B sales professional with a passion for technology, rail, and automation? Do you excel at building long-term strategic partnerships and driving high-value enterprise deals? Prover is seeking a Senior Account Executive to take ownership of key customer relationships, lead complex sales cycles, and drive business growth in Europe and beyond.

2711, 2023

Project manager – Rail and Metro

Benjamin Blanc2024-11-06T10:43:57+01:00Job openings|

Prover is growing with a steady stream of new projects. We are now looking for a professional project manager that can help us succeed in delivering value to our customers within time and budget. As Swedish skills is necessary for this position, the description below is in Swedish.För att passa för rollen behöver du:

1803, 2023

Formal methods developer – rail and metro

Benjamin Blanc2025-01-13T14:44:35+01:00Job openings|

Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems. Develop and maintain formal specifications, perform formal verification work using Python.

3103, 2025

Do you want news and upcoming events from Prover?

Fill out your information here.

How much can you save by implementing Signaling Design Automation?

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.