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