Prover Technology AB is a true railway enthusiast in work clothes - founded in 1996 in Stockholm and now a world-leading company in formal methods and formal verification of safety-critical signaling systems for trains, trams and metro. While others were still doing manual work with legacy systems, Prover introduced digital twins and automation you can rely on - and do so quickly and smartly.

Say goodbye to costly startups: Prover offers a complete toolbox - from Prover Studio and Prover iLock to Prover Certifier - that helps infrastructure owners move from requirements to verified product in half the time while meeting full CENELEC SIL 4 safety standards. This is driven by their formal tools, automated simulations - and yes, digital twins that enable plug-and-play verification.

At Prover you work in a knowledgeable, international team with smart colleagues in formal methods, where innovation, wellbeing and team spirit are important values. It’s a hybrid workplace where you’re not just another employee - you help make railway safety both sustainable and high-tech.