[TYPES/announce] Galois is hiring!

[Eddy Westbrook]

Galois is hiring!  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.  We have offices in Arlington VA, Dayton OH, and Portland OR with positions available at all locations.  For more info or to submit your resume, please see our website: http://galois.com/careers.