[Haskell-cafe] [Job] Formal Tech is hiring