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

Headquartered in Honolulu, Hawaii with remote locations across the United States, RevaComm is a leader in Agile Software Development, User-Centered Design, and DevSecOps. As an enterprise digital transformation company, we transform organizational c…