Posted 3 years, 11 months ago
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…
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Posted 3 years, 11 months ago
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…
Palo Alto, Fremont, Austin, Berlin, Shanghai
Posted 3 years, 11 months ago
CodeWeavers is hiring skilled C programmers to work on the open source Wine project and other related open source desktop projects. CodeWeavers partnered with Valve Software to integrate Wine into the Steam for Linux client as a part of the Steam Pl…
Posted 3 years, 11 months ago
Kolide enables organizations to achieve their security and compliance goals by practicing the tenets of honest.security. Instead of locking down devices, Kolide enables teams to communicate their organization’s security recommendations using Slack. …
Posted 4 years ago
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…
Posted 4 years ago
Cloudflare is on a mission to help build a better Internet. Cloudflare is one of the world’s largest networks. Today, businesses, non-profits, bloggers, and anyone with an Internet presence boast faster, more secure websites and apps thanks to Cloud…
Singapore, Australia