We're a small team dedicated to elimination of memory safety errors. We're maintaining the C2Rust tools and use it to move C code to Rust. If you're good at systems programming, we'd like to hear from you. Specifically, we're interested with folks w…

We are a Paris-based startup founded in 2020, competing in the race towards building the world’s first universal, fault-tolerant quantum computer. Our approach to error correction is based on the cat qubit, which belongs to the family of superconduc…

We are a Paris-based startup founded in 2020, competing in the race towards building the world’s first universal, fault-tolerant quantum computer. Our approach to error correction is based on the cat qubit, which belongs to the family of supercondu…

Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertyth…

Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …