BedRock Systems is on a mission to deliver a trusted computing base from edge to cloud, where safety and security isn’t just a perception, it’s a formally proven reality.

Software

BedRock Systems

Jonas Pfoh

Josh Dobies

Efi Gatmor

Osman Ismael

John Walsh

Osman I.

The Engineering Team at BedRock Systems is responsible for developing and implementing secure, reliable software solutions from edge to cloud. They focus on creating a trusted computing base through rigorous testing, active security measures, and innovative software engineering. This team ensures safety and security through formal proofs, continuous risk assessment, and cutting-edge system advancements.

Engineering Team

Formal Methods Team

Technical and Security Team

Engineering Team

About

Team members

Other teams at BedRock Systems

Formal Methods Team

Technical and Security Team