Hello,

Galois is hiring again!  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.   For the exact available positions, please have a look at our web-site: http://galois.com/careers

We have two offices: one in Portland, OR, and one in Arlington, VA.  There are positions available at both locations.

Generally, we are looking for people to work on site, not remotely.  Mostly, we are looking for candidates who are already allowed to work in the US, but in exceptional situations we can work with the candidate to obtain the necessary documentation.

If you are interested, please send us your resume through the web site.

Cheers,

-Iavor