Compiler Engineer Jobs - November 2022

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 execution …

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, dynamic bina…

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 tooling...)…

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 the human br…

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 the human br…

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 tooling...)…