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…

Looking to become a major player on a diverse team? Want to make a big impact on an engineer-driven roadmap in your next career adventure? Koddi Engineers drive innovation by embracing challenges and deploying emerging technologies to solve complex …

At Journee, we are building the platform to enable brands and creators to deliver high quality metaverses directly accessible to the world. Our clients are top global companies and we are scaling fast to meet the demand. If you are a reliable person…

Want to find out why we protect against floods better than Noah's Ark? Join our team and help us fight DDoS floods, malicious bots, and sophisticated web application attacks. We are looking for C/C++ Developers to extend our development team. You’ll…

Do you want to get paid to use Rust? Do you know a thing or two about systems programming, compilers, and operating systems? Do you have a knack for performance tuning and know how to make best use of the available hardware? Immunant is helping its …

Lightning Labs is hiring! We’re looking to expand our team to build technology that'll bring Bitcoin to the next billion people. Our current focus is the development and deployment of the Lightning Network, an open blockchain scalability protocol. W…