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.
Positions are available at both our Portland OR and Arlington VA offices.
For more
information on the application process and the available positions, please visit out web site: http://corp.galois.com/careers