Coder is an AI software development company focused on autonomous coding agents and human developer collaboration. They offer a self-hosted Cloud Development Environment (CDE) for secure, governed developer workspaces that improve productivity, redu…

Coder is an AI software development company focused on autonomous coding and enabling teams to build software faster and more securely. Their core product is a self-hosted Cloud Development Environment (CDE) that provides secure, policy-driven, isol…

We’re the most popular search engine for online courses, and we’re hiring a deeply technical writer-researcher to help learners master tech skills by testing advanced courses and publishing 'best course' guides. You’ll: research, test, and evaluate …

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…

Beacon AI is building the aviation platform for the future of flight. Our team has expert relevant industry expertise in aviation and autonomy. We are building systems that improve flight safety and efficiency in a progressive approach. We earned th…

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