Research Positions at Galois (Portland and Arlington, USA)

Message from 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 two offices: one in Portland, OR,
and one in Arlington, VA and positions are available at both locations. For
more info or to submit your resume, please see our website:
http://galois.com/careers