LLVM Jobs - December 2022
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Adacore
Software Engineers
Posted 3 years, 6 months ago
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...). Evertything we bui…
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Veridise
Frontend Software Engineer
Posted 3 years, 7 months ago
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 …
-
Adacore
Software Engineers
Posted 3 years, 8 months ago
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...). Evertything we bui…
-
rev.ng
Compiler Engineer
Posted 3 years, 8 months ago
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…
Roles
Tech stack
Location
Milan HQ, remote
-
Adacore
Software Engineers
Posted 3 years, 9 months ago
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)...
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Software Engineers
Posted 3 years, 10 months ago
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)...
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes