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…

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, 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)...

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

RevEng.ai is building AI for proactive cyber defense. We're building tools for machine code comprehension and binary-only understanding to assist reverse engineering and vulnerability analysis. We're hiring Binary Analysis Researchers and Machine Le…

My team is looking to hire 2 software developers to help us design and extend QEMU support for the Hexagon DSP. We're looking for candidates who have experience coding in C, C++ or Rust and who aren't afraid of rolling up their sleeves and poring ov…