
Senior Manager, Strategic Communications & PR
The Business of HLTH Podcast
District of Columbia, USA (Remote)
Indiana, PA (Hybrid)
Posted 6 days ago
Lead scalable AI enablement and organizational change initiatives, partnering with functional leaders to embed AI into workflows and measure adoption across the enterprise.
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 iLockTM, Prover CertifierTM and Prover ExtractorTM 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 iLockTM 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.
Posted range
$172K/yr – $215K/yr
Taken straight from the job posting.

The Business of HLTH Podcast
District of Columbia, USA (Remote)

H&R Block
USA (Remote)

GiveWell
USA (Remote)
RebuttalPR
USA (Remote)

Athena Global Advisors
Philadelphia, PA (On-site)