Hello, Galois is still hiring! We are located in beautiful Portland, Oregon and are currently 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. Happy Holidays, -Iavor