<div dir="ltr"><div style>Hello,</div><div><br></div>Galois is hiring!  We&#39;re looking for researchers, principal 
investigators, and software engineers, including those with expertise in
 functional programming, formal methods, computer security, control 
systems, informatics, or networking.<div><br></div><div>For more information, take a look at <a href="http://corp.galois.com/careers">http://corp.galois.com/careers</a> and please feel free to drop me an e-mail if you have questions.</div>
<div><br></div><div>Cheers,</div><div>-Iavor<br><div><br></div><div><br></div></div></div>