<div dir="ltr"><div style="font-size:12.8px">Hello,</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Galois is hiring again!  We're looking for researchers, principal investigators, software engineers, and project leads, including those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, or networking.   For the exact available positions, please have a look at our web-site: <a href="http://galois.com/careers">http://galois.com/careers</a></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">We have two offices: one in Portland, OR, and one in Arlington, VA.  There are positions available at both locations.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Generally, we are looking for people to work on site, not remotely.  Mostly, we are looking for candidates who are already allowed to work in the US, but in exceptional situations we can work with the candidate to obtain the necessary documentation.<br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">If you are interested, please send us your resume through the web site.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Cheers,</div><div style="font-size:12.8px">-Iavor</div><div style="font-size:12.8px"><br></div></div>