Portland, OR.  Full time or short term.
Galois is looking for functional programmers, formal methods practitioners, and project leads, interested in either short term or permanent employment.  For more information, see: <a href="http://corp.galois.com/careers" >http://corp.galois.com/careers</a>