[Apology for the shameless ad, but might be of interest to some] BedRock Systems is a stealth startup with a global team. Our platform is based upon cutting-edge technology, including the latest generation of L4 microkernel, and leverages the next level of 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 us at www.bedrocksystems.com <http://www.bedrocksystems.com/>. BedRock Systems Engineering team.