Location: Stockholm
Level: Mid-level

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.

As a Commercial PM Lead, your main responsibilities include:

Key Qualifications for the position include:

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!

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.

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

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:

Nice to have:

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.

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

You should have:

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.

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.

Your Responsibilities

As a key player in our sales team, you will be the driving force behind fostering meaningful customer relationships, ensuring trust and long-term engagement. You will take the initiative in identifying and reaching out to exciting new business opportunities within the rail technology sector. Your expertise will be essential in crafting impactful sales presentations, proposals, and follow-ups that create real business impact.

You will develop deep knowledge and skills to translate complex technical solutions into tangible business value for our customers. By representing Prover as an industry leader, you will make valuable connections at key industry events and meetings. Working alongside experienced sales and technical teams, you will understand customer needs and help deliver innovative solutions that drive the industry forward.

Location: Stockholm or Toulouse office (Hybrid/Remote Possible)
Employment Type: Full-Time

How to Apply?

Unfortunately, the position has already been filled.

• Mentorship & Training– Gain hands-on experience and learn from industry leaders.
• Exciting Industry– Work at the intersection of technology, safety, and automation.
• Career Growth– Opportunity to move into senior sales or business development roles.
• Impactful Work– Help shape the future of railway signaling and safety solutions.

Your Responsibilities

As a Senior Account Executive, you will lead the full sales cycle, from prospecting to closing multi-year strategic deals, ensuring Prover’s continued growth in the railway sector. You will develop and execute strategic account plans tailored for major rail operators and technology suppliers, driving long-term partnerships and value creation. By collaborating closely with technical teams, you will position Prover’s solutions as must-have innovations in railway projects, demonstrating how our expertise in formal methods, AI, and automation transforms railway safety and efficiency.

In this role, you will negotiate large-scale contracts and framework agreements, ensuring sustainable customer engagement and satisfaction. You will act as a trusted advisor to C-level executives, technical leads, and procurement teams, helping them navigate complex purchasing decisions. Staying ahead of the curve, you will identify market trends and new opportunities to expand Prover’s offerings and solidify our position as an industry leader. Additionally, you will represent Prover at high-profile industry conferences and events, strengthening our brand presence and fostering strategic collaborations.

Location: Flexible (Hybrid/Remote Possible)
Employment Type: Full-Time

How to Apply?

Unfortunately, the position has already been filled.

• Industry Leader– Work with cutting-edge solutions in rail safety and automation.
• High-Impact Role– Directly influence the future growth and success of Prover.
• Autonomy & Ownership– Take charge of key accounts and drive meaningful business outcomes.
• Growth Potential– Opportunity to expand into leadership roles as we scale.
• International Reach– Engage with major rail operators and suppliers across Europe and beyond.

Tåg är snabbare, mer ekonomiska, säkrare och miljövänligare än bilar och lastbilar. På Prover är vi fast beslutna att göra vår del för en bättre värld. Vi levererar lösningar för konstruktion av de säkerhetskritiska system som styr tågsignaler och växlar. Bland våra kunder finns infrastrukturförvaltare som SL, Trafikverket, Paris tunnelbana RATP och New Yorks tunnelbana MTA, samt leverantörer av signalsystem såsom Alstom, Hitachi och Siemens. 

På Prover arbetar skickliga människor från hela världen tillsammans för att skapa och leverera moderna lösningar för signalsystem. Förutom i Stockholm har vi också kontor i Frankrike, samt verksamhet i USA och Kina. Dina kollegor kommer att vara några av de bästa på formella metoder och signalering. Vi är angelägna om att ständigt förbättra våra arbetssätt, så det finns många möjligheter att bidra med nya innovativa idéer. 

Vi ser gärna att du har erfarenhet av branschen för signalsystem för järnväg och tunnelbana i Sverige. 

Anställningen är tills vidare och innebär projektledning av såväl dagens projekt som framtida projekt. Vi växer och har ett ständigt inflöde av nya projekt, både större som sträcker sig över flera år och mindre som varar någon månad. 

Som projektledare rapporterar du till vår Solutions Manager Benjamin Blanc. 

Du kan komma att säkerhetsprövas för känsliga projekt och behöver vara beredd att godkänna det. 

Skicka din ansökan med personligt brev och CV till jobs@prover.com. Vi ser fram emot att höra av dig! 

At Prover an experienced team with talents from around the world works together creating and delivering state-of-the-art solutions for train control systems. Your colleagues will be some of the best people in the world in formal methods. The Prover team is highly educated (~50% PhD’s) with a desire to apply theoretical knowledge to real-life problems that matter. We are eager to constantly improve our methods. There are many opportunities to contribute with new innovative techniques and bright ideas.

You will work in the Solutions team located in France and Sweden. Your main task will be to develop and maintain formal specifications for customers in rail or metro, and to perform formal verification work. We use Python for automation of various tasks and for conversion between data formats.

Please note that this position is based in either Stockholm or Toulouse, and relocation is required.

Send your application with your resume and cover letter to jobs@prover.com.

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.