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 …

We're looking for a developer with experience in modern C++. We're developing a next-generation decompiler featuring a VSCode-based UI and have a series of projects related to dynamic binary translation. We work with C++20, LLVM, MLIR, emulation, dy…

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Human-level AI, if it's possible, is going to probably be the most important thing that ever happens. We're working on making sure it ends up being a good thing. We're a startup working on machine learning hardware which can scale to the level of th…

Human-level AI, if it's possible, is going to probably be the most important thing that ever happens. We're working on making sure it ends up being a good thing. We're a startup working on machine learning hardware which can scale to the level of th…

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…