Company News

Shift2Rail – the initiative for Formal Methods and Standard Interfaces

Formal methods and standard interfaces will be the topic of a work package within the European Shift2Rail (S2R) Joint Undertaking, which includes all major European signalling system suppliers and a number of infrastructure managers. This work package is led by the Swedish Transport Administration (Trafikverket), who is a founding member of Shift2Rail. Prover is proud [...]

By |2017-09-21T11:48:18+01:00March 29th, 2017|Company News|

We are looking for Developers!

Are you talented, ambitious and enthusiastic? Do you want to contribute to a sustainable and safe world? Then keep on reading! We are now looking for Developers that demonstrated an interest in advanced techniques such as formal methods, logic, parsers, formal specifications or similar, either by having a MA/PhD degree, or by having done similar [...]

By |2018-07-25T11:19:55+01:00February 20th, 2017|Company News|

United Rail new Partner in North America

United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North American freight, passenger and mass transit markets. Jacksonville, Florida, November, 2016 United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North [...]

By |2018-07-27T09:36:15+01:00November 24th, 2016|Company News|
Load More Posts