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