Prover Technology AB är en riktig tåg-nörd i arbetskläder - startat 1996 i Stockholm och numera ett världsledande företag inom formella metoder och formell verifiering av säkerhetskritiska signalsystem för tåg, spårvagnar och metro. När andra rodde manuellt med legacy-system, kom Prover med digitala tvillingar och automatisering som vi inte bara kan lita på utan också lita på snabbt och smart.

Säg adjö till dyra uppstarter: Prover erbjuder en hel verktygslåda - från Prover Studio och Prover iLock till Prover Certifier - som hjälper infrastrukturförvaltare att gå från krav till verifierad produkt på halva tiden och med full säkerhet för CENELEC SIL 4-certifiering. Allt det här triggas av deras formella verktyg, automatiserade simuleringar - och ja, digitala tvillingar som plug-and-play-verifiering.

På jobbet hos Prover jobbar du i ett kunnigt, internationellt team med smarta kollegor inom formella metoder, där innovation, välmående och laganda står högt. Det är en hybrid-arbetsplats där du inte bara är en i mängden - du är med och gör järnvägssäkerhet både hållbar och high-tech.