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 are looking for somebody to help develop the Julia language runtime, libraries, and system interface. This work will have a direct impact on our goal of allowing users to write simple, high-level code and deploy their programs under a range of re…

Established company (20+ years) looking for mature generalists to contribute remotely. You can be anywhere in the world so long as you: Are self-motivated and can work independently, Have experience with many languages but can be effective in any la…

Symmetry Investments is a post startup USD 9+ billion alternative asset management company with around 250 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

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…

Tesla is hiring for software positions across a variety of disciplines. If you're interested in helping us transition to sustainable energy production/storage/consumption, we'd love to hear from you! Please apply online at https://www.tesla.com/care…