<div dir="ltr">Hello,<div><br></div><div>Could you please post the following to the Haskell Cafe email?</div><div><p><a href="https://news.us10.list-manage.com/track/click?u=49a6a2e17b12be2c5c4dcb232&id=f161e12d54&e=1acf442f27" target="_blank">Galois is hiring for a variety of roles</a></p><blockquote><p>Including but not limited to: Software Engineers/Researchers, Project Managers, Hardware Engineers, and a Software Integration Engineer.</p><p>We collaborate with organizations like NASA, DARPA, and AWS to explore blue sky ideas and turn them into usable technology. Some of the things we’ve worked on in the past: Formal methods, static analysis, cryptographic algorithms, abstract interpretation, type theory, formal verification, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, and statistical anomaly detection for detecting advanced persistent threats. We think working here is awesome; see <a href="https://news.us10.list-manage.com/track/click?u=49a6a2e17b12be2c5c4dcb232&id=1aaef43003&e=1acf442f27" target="_blank">lifeatgalois.com</a>.</p><p><br></p><p>Thank you,</p><p><br></p><p>Michelle Keppler</p></blockquote><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><font face="trebuchet ms, sans-serif" size="2">Michelle Keppler </font><div><font face="trebuchet ms, sans-serif" size="2">Human Resources Partner </font></div><div><font face="trebuchet ms, sans-serif" size="2"><a href="mailto:michelle@galois.com" target="_blank">michelle@galois.com </a></font></div><div>571-510-0659</div><div><font face="trebuchet ms, sans-serif" size="2"><br></font></div><div><br><div><div style="color:rgb(80,0,80);margin:0in 0in 0.0001pt;font-size:12pt;font-family:"Times New Roman""><strong><b><font size="2" color="#feba35" face="Arial"><span style="font-size:10pt">I</span></font></b></strong><font size="2" face="Arial"><span style="font-size:10pt"> </span></font><strong><b><font size="2" color="#094891" face="Trebuchet MS"><span style="font-size:10pt">galois</span></font></b></strong><font size="2" face="Arial"><span style="font-size:10pt"> <strong><b><font color="#feba35" face="Arial">I </font></b></strong></span></font><font size="1" color="gray" face="Trebuchet MS"><span style="font-size:7.5pt">  </span></font><strong style="font-size:12pt"><b><font size="1" color="gray" face="Trebuchet MS"><span style="font-size:7.5pt">GALOIS, INC.</span></font></b></strong></div><div style="color:rgb(80,0,80);margin:0in 0in 0.0001pt;font-size:12pt;font-family:"Times New Roman""><u></u><u></u></div><div style="color:rgb(80,0,80);margin:0in 0in 0.0001pt;font-size:12pt;font-family:"Times New Roman""><font size="1" color="gray" face="Trebuchet MS"><span style="font-size:7.5pt"><span style="white-space:pre-wrap">     </span>            901 N Stuart Street</span></font><font size="1" color="#feba35" face="Arial"><span style="font-size:7.5pt"> <strong><b><font face="Arial">I</font></b></strong></span></font><font size="1" color="gray" face="Trebuchet MS"><span style="font-size:7.5pt"> <u></u><u></u>Suite<u></u> 501 </span></font><strong><b><font size="1" color="#feba35" face="Arial"><span style="font-size:7.5pt">I</span></font></b></strong><font size="1" color="gray" face="Arial"><span style="font-size:7.5pt"> Arlington, VA 22203</span></font></div><div style="color:rgb(80,0,80);margin:0in 0in 0.0001pt;font-size:12pt;font-family:"Times New Roman""><u></u><u></u></div><div style="color:rgb(80,0,80);margin:0in 0in 0.0001pt;font-size:12pt;font-family:"Times New Roman""><font size="1" color="#0b59b0" face="Trebuchet MS"><span style="font-size:7.5pt">   </span></font><font size="2" color="#0b59b0" face="Trebuchet MS"><span style="font-size:10pt"> </span></font><font size="1" color="#0b59b0" face="Trebuchet MS"><span style="font-size:7.5pt">    </span></font><font size="2" color="#0b59b0" face="Trebuchet MS"><span style="font-size:10pt"> </span></font><font size="1" color="#0b59b0" face="Trebuchet MS"><span style="font-size:7.5pt">      </span></font><font size="2" color="#0b59b0" face="Trebuchet MS"><span style="font-size:10pt"> </span></font><font size="1" color="#0b59b0" face="Trebuchet MS"><span style="font-size:7.5pt">    <a href="http://www.galois.com/" style="color:blue" target="_blank">www.galois.com</a></span></font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>