The Current State
Businesses should be built on a rock-solid foundation. However, the current edge and cloud computing infrastructures are built on a foundation of sand. None of its components should be considered “trusted.” Design and implementation defects in these components give rise to vulnerabilities that can become critical security flaws. And security flaws become safety issues and can severely impact governments and entire industries.
THE FUTURE IS BUILT ON BEDROCK – An Unbreakable Foundation for Formally Secured Computing. 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. Our foundation does not require painful up-stack changes; it embraces existing hardware, operating systems, and application ecosystems. When systems are BedRocked, the operation is secured, innovation is unlocked, new services are launched, trust is re-established, and revenue can grow. Governments and businesses gain back velocity and can securely evolve at the speed of software.
Our Team Is Growing!
BedRock Systems is a stealth startup with a global team. Our platform is based upon cutting-edge technology and leverages the latest development methodologies and tools. We were founded by industry veterans who built large successful companies from scratch. Our top-notch team is a mixture of the best from industry and academia. Come transform the computing landscape. Join the BedRock Systems team!
As a BedRock x86 VMM Engineer you:
- Build our x86 VMM from scratch.
- We expect the x86 VMM to be significantly more complex than the ARM VMM.
- Most of the “heavy lifting” (e.g., instruction and device emulation) is done in userland in the VMM, not down in the microhypervisor.
* Expected travel 30-50% of the time. Primarily in the US, but Quarterly trip to Europe for All hands meetings etc..
You could be a great fit for this role if you have:
- x86 architecture expert
- Can easily answer “What’s the maximum instruction length on x86? Know how to enable/disable interrupts on x86
- I/O and MMIO register access, interrupt handlers
- Have written or been deep inside an x86 hypervisor / microkernel / operating system.
- Amazon, HelenOS core, etc.
- Familiar with reading hardware specifications
- 5+ years industry experience, C/C++ expert, MS in computer science or equivalent
- Has contributed to QEMU (q-m-u), x86 Xen port, or been deep inside VMware ESXi at the core/founding level.
- Deep understanding of modern virtualization techniques
- Device virtualization / emulation, instruction set emulators, trap-and-emulate, para-virtualization
- Hands-on experience with Intel VT-x virtual machine extensions (VMX)
- x86 virtual execution mode
- extended page tables (EPT)
- virtual machine control structure (VMCS) for nested virtualization
- advanced virtual interrupt controller (APIC) for interrupt virtualization
- VT-d for device IO virtualization / IOMMU virtualization (aka PCI passthrough)
- VT-c for network virtualization
- GVT-d/g/s for GPU virtualization
Nice to Have:
- Contributions to open source hypervisors and similar projects
We were founded by industry veterans who built large successful companies from scratch. Our top-notch team is a mixture of the best from industry and academia. Come transform the computing landscape.
BedRock is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.
|Job Category||Research & Development|