<div dir="ltr"><div dir="ltr">Hello, all --<div><br></div><div>I've found this list to be a great collection of expertise around concurrency, thanks for all the time that people have taken to respond to my questions. </div><div><br></div><div>I wanted to mention that BedRock Systems (<a href="https://www.bedrocksystems.com/" target="_blank">https://www.bedrocksystems.com/</a>) is a startup doing formal methods around software in Coq using a combination of Hoare logic- and refinement-style reasoning. We are interested in <b>summer interns</b> as well as <b>full-time</b> hires, especially people with expertise in reasoning about highly concurrent code. Internships would likely be in Cambridge, MA area. As I know that most people on this list are academic, I do want to mention that there is possibility to publish work that you do while at the company.</div><div><br></div><div>If this is something that interests you, please let me know by emailing me directly at my work email: <a href="mailto:gregory@bedrocksystems.com" target="_blank">gregory@bedrocksystems.com</a>.</div><div><div><br></div>-- <br><div dir="ltr" class="m_1388143367791739972gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>gregory malecha</div><div><a href="https://gmalecha.github.io" target="_blank">gmalecha.github.io</a></div></div></div></div></div></div></div></div>