BedRock Systems - bedrocksystems.com
BedRock is building a trusted compute base for mission critical-applications. The foundation of the platform is a formally verified, open source hypervisor for x86 and ARM, deployed with real-time threat sensing that uses VMI to detect problems from a privileged position outside the guest OS.
We are hiring in the Bay Area, Boston, DC, and Germany across the following areas:
* Operating systems &amp; hypervisor development on x86 and ARM64
* OS hardening - Linux, Android, Windows, RTOS/Embedded
* Virtual machine introspection
* Formal verification - proof engineering and automation
Our contention is that the time is ripe for verifiably trustworthy systems, for everything from secure phones and industrial IoT to autonomous systems and financial infrastructure. We have significant seed funding from great investors and our first commercial projects underway.
For more information, ping me at REDACTED_EMAIL with "Saw you on HN" in the subject line, or apply at bedrocksystems.com/careers
Thanks!
Nate