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…

We're looking for a developer with experience in modern C++. We're developing a next-generation decompiler and have a series of projects related to dynamic binary translation.

Our primary project is Fluence, an open application platform, where apps can build on each other, share data and users. Fluence is powered by a decentralized computing protocol that enables applications to evolve quickly with composability and monet…

We are the distributed team of engineers working on a new cool tech: a decentralized cloud platform. Our codebase is mainly in Rust and we have a few positions open. We are remote-first, so all positions are remote and full-time. These positions are…

Microsoft C++ team is looking for experienced and aspiring compiler engineers for multiple openings. Roles cover bring up of novel cloud hardware in both LLVM and MSVC compiler tool chains in addition to ongoing improvements in all MSVC production t…