<div dir="ltr"><div>Hello,</div><div><br></div>Galois is hiring!  We're looking for researchers, principal 
investigators, software engineers, and project leads with expertise in functional programming, formal methods, computer 
security, control systems, or networking.<div><br><div>Positions are available at both our Portland OR and Arlington VA offices.</div><div><br></div><div>For more 
information on the application process and the available positions, please visit out web site: <a href="http://corp.galois.com/careers" class="">http://corp.galois.com/careers</a><br></div><div><br></div><div>-Iavor</div></div></div>