<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"><span class="inbox-lG">Galois</span> is growing again!  We're looking for researchers, principal investigators, software engineers, 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 website: <a href="http://galois.com/careers" target="_blank">http://<span class="inbox-lG">galois</span>.com/careers</a></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">We now have three locations: Portland, Ore.; Arlington, Va.; and Dayton, Ohio. There are positions available at all locations.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">We are looking for people to work on-site, not remotely.  Mostly, we are looking for candidates who are already authorized 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><span style="font-size:12.8px">If you are interested, please apply through the web site. If you have questions about working at Galois, you're welcome to contact me directly.</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Best regards,</span></div><div><span style="font-size:12.8px">Eric Mertens</span></div><div><span style="font-size:12.8px">glguy</span></div></div>