Formal is a VC-funded 5-person team building a new serverless computing stack using formal methods to create low-overhead OS interfaces and formally verified isolation without containers or VMs. They are hiring multiple remote, full-time positions f…

At Formal, we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, …

We are a rapidly growing, globally distributed software consultancy, working with Haskell, Rust, and Python. Currently we are looking to fill a position with a great opportunity to use both Haskell and Purescript. You will be a part of an establishe…

MLabs is hiring Haskellers/Purescript Developers! (Full remote, worldwide) MLabs is a rapidly growing, globally distributed software consultancy, working with Haskell, Rust, and Python. Currently we are looking to fill a position with a great opport…

MLabs is a rapidly growing, globally distributed software consultancy, working with Haskell, Rust, and Python. Currently, we are looking to fill the following positions: - Haskell Developer (Junior through Senior) - Technical Delivery Manager. Exper…