-
rev.ng
Posted 2 years, 6 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, dy…
-
Adacore
Posted 3 years, 2 months ago
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…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Fathom Radiant
Posted 3 years, 2 months ago
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…
Locations
Boulder, CO
-
Fathom Radiant
Posted 3 years, 3 months ago
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…
Locations
Boulder
-
Adacore
Posted 3 years, 3 months ago
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…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Fathom Radiant
Posted 3 years, 4 months ago
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…
Locations
Boulder