coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Founding Engineer opportunities at trusted compute startup -- BedRock Systems
Chronological Thread
- From: Gregory Malecha <gregory AT bedrocksystems.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Founding Engineer opportunities at trusted compute startup -- BedRock Systems
- Date: Wed, 13 Nov 2019 08:45:16 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gregory AT bedrocksystems.com; spf=None smtp.mailfrom=gregory AT bedrocksystems.com; spf=None smtp.helo=postmaster AT mail-pg1-f182.google.com
- Ironport-phdr: 9a23:seNoqR1yYxxjc4dSsmDT+DRfVm0co7zxezQtwd8ZseISIvad9pjvdHbS+e9qxAeQG9mCsLQd0LOd7v+ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTSwbalvIBi4sAnduckbjIl/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF/g6JVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28dYwPD+8ZMOhZtYnyuVQOrRykBQisGejhzSVHhnvo0qIm0+QuCxzN0QsvH9IUrnvUo9L1NL0SUO2u16bH0yjMb+lR2Tjh64jIaRAgoeqQXb1udMrR0lMjGB/CjlWVsIHoOS6e2OoKs2ie9eVgVOSvhnYjqwFwpDivxdkjhZTIhoIT0FzL6SJ5wIMtKdKjVkF0fMSkEJxMuCGZLIt3QtgiQ312tyY/0b0Ko4K0fC8PyJg/yB7fauCHc4iV4h34TuqePTB4hHdjdbmihBiy6VCtxvPgWsSwylpHrSpInsPSunwQ1xHf8NWLR/hj8kqnxD2BzRrc6vteLkAxjafbK4Auwro3lpcLtETMBC72mEHvgK+OeUUo5/Gk6+r6brjluJOQLYB0igb5MqQhnsywH/40PRQJX2ie4ei81bvj8lPlQLhSkPE6jq3UvIrZKMkbvKK1HRJZ34Y55xqiDDqqzswUnXwdI1JEfBKHgZLpO1bLIP3gAve/mUqjkDhsx/DcPrzsGY7CIWben7f7erZy901cyBEzzNBE+5JbFLQBIOnpVkDts9zYCwc1MxaozOb/FNV9yoQeVHqTDa+eKaPeqEOH5uYyI+aXf4IVozb8K/095/H0l3M5mFkdfbOo3ZQNcny4EO5mcA2lZi/nhc5EGmMXtCI/SvbrgRuMS219fXG3Co0m6z48EpPuKI7HS4utifTV0z22EZpMd0hMB1yWFnzrbJSfR/oJc2SZJco3wW9MbqSoV4J0jULmjwT90bcydrOFqB1djorq0Z1O38OWkBgz8TJuCMHHizOHQm1umWgLXC4twK16ugp2zVLRifEl0cwdLsRa4rZyail/NZPYyLYkWdX7WwaEZtjQDVj/Eo/gDjY2QdY8hdQJZhQlQonwvlX4xyOvRoQtufmTHpVuqvDW0nTrIM1+0GfdyKQklB8tRc4dbWA=
Hi everyone,
I lead the formal methods group for BedRock Systems, bedrocksystems.com, a startup based in the US and Europe. We are building an open source virtualization layer and applying formal methods pervasively throughout the development. I don't need to let this group know we're tackling hard problems :)
We've been collaborating with Adam Chlipala and other researchers to make verification viable at this scale, and now I'm looking to bring two people onto our team:
- Concurrency Verification lead - an expert in concurrent separation logic, ideally with experience with Iris.
- Automated Verification lead - someone to lead development of our automation toolchain, a Coq and OCaml hacker ideally with some experience in the Coq codebase and SAT/SMT solver expertise.
We feel the time is ripe for a verifiably trustworthy compute foundation, for everything from cars to power grids and connected devices. We have strong financial backing and veteran entrepreneurs on board, including Gaurav Garg (Wing Capital) and Ashar Aziz (FireEye). We're a distributed, remote-friendly team.
If you're interested, please apply to jobs AT bedrocksystems.com. Any referrals or recommendations would also be much appreciated. Thanks!
btw - despite the name, BedRock Systems is not directly related to Adam's bedrock Coq library.
- [Coq-Club] Founding Engineer opportunities at trusted compute startup -- BedRock Systems, Gregory Malecha, 11/13/2019
Archive powered by MHonArc 2.6.18.