Hello, Formal Tech, a Galois spin-off, is looking for a mid to senior level engineer to work on CyberChaff ( https://formal.tech/products/cyberchaff/). Applicants should be proficient in Haskell and at least one other programming language. This is a full time position with benefits. If you are interested, please send your resume to careers@formal.tech Cheers, -Iavor