Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.

We are one of the leading Haskell/Rust consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a 100% remote developers to join our team. If you are excited about Haskell, Rust o…

MLabs are hiring Haskellers! (100% Remote, Worldwide) Paid internships also available! We are one of the leading Haskell consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a…

SiFive is an idea-to-silicon company founded by the inventors of RISC-V to simplify the design and production of custom SoCs. As the leading commercial provider of RISC-V processor IP, SiFive is on a mission to help engineers design custom chips for…

Do you want to build the next generation internet platform? Blockchains with smart contract support (like Ethereum) allow for arbitrary computations with guaranteed integrity. However, computations are public, which is often a major limitation. Part…

This is a project on commercializing an MIT research project, synthesizing probabilistic programming, databases, and spreadsheets.