Prover Email Formats

Software Development • Stockholm, Stockholm County, Sweden • 51-100 Employees

Prover Email Formats

Prover uses 3 email formats. The most common is {first initial} (e.g., j@prover.com), used 48% of the time.

Format	Example	Percentage
{first initial}	j@prover.com	48%
{first name}.{last name}	john.doe@prover.com	36%
{first initial}.{last name}	j.doe@prover.com	16%

Key Contact at Prover

Thierry Lartaud

Sales & Business Development Director At Prover

Company overview

Headquarters	Krukmakargatan 21, Stockholm, 11851, SE
Phone number	+4686176800
Website	prover.com
SIC	374
Keywords	Coding, Specification
Founded	1989
Employees	51-100
Socials

About Prover

Prover provides software products and services for development and V&V of railway signaling systems. Our customer base includes railway infrastructure managers and railway signaling system suppliers around the world, as well as tool developers that license our proof engine products (Prover Plug-In). Our software products Prover iLock™, Prover Certifier™ and Prover Extractor™ are used for specification, code generation, simulation, formal verification and certification of a wide range of rail control systems, including interlocking, CBTC, ERTMS, ATP and PTC. We also provide formal specification IP in the PiSPEC language, capturing standard signaling principles, for use with the Prover iLock™ tool suite. We also supply training and partner services to our customers. Find out more on our website www.prover.com under News and Expertise.

Employees by Management Level

Total employees: 51-100

Seniority

Employees

Entry

Manager

Senior

Employees by Department

Prover has 27 employees across 8 departments.

Departments

Number of employees

Funding Data

Explore Prover's funding history, including investment rounds, total capital raised, and key backers.

Funding Date	Round	Amount	Link to Article
2008-06-06	15	N/A

Funding Insights

Number of funding rounds

Prover Tech Stack

Discover the technologies and tools that power Prover's digital infrastructure, from frameworks to analytics platforms.

Vimeo

Video players

Goober

JavaScript libraries

Swiper

JavaScript libraries

Hotjar

Analytics

Leadinfo

Analytics

Microsoft 365

jQuery

JavaScript libraries

HubSpot Analytics

Analytics

LiteSpeed

Web servers

PHP

Programming languages

WordPress

Blogs

Google Analytics

Analytics

Frequently asked questions

Prover is located in Stockholm, Stockholm County, SE.

You can reach Prover at +4686176800.

Prover was founded in 1989, making it 37 years old. The company has established itself as a significant player in its industry over this time.

Prover has approximately 51-100 employees. The company continues to grow its workforce to support its business operations and expansion.

Key Contact at Prover

Thierry Lartaud

Sales & Business Development Director At Prover

4.8

40,000 users