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