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

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

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