Galois is hiring! We're looking for researchers, principal
investigators, and software engineers, including those with expertise in
functional programming, formal methods, computer security, control
systems, informatics, or networking.
For more information, take a look at http://corp.galois.com/careers and please feel free to drop me an e-mail if you have questions.