Adacore is the maintainer of GNAT, the Ada compiler based originally based on GCC (there now are multiple backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal p…

Iontra is involved in the development of battery improvement and enabling technologies. This is a full-time role in a startup located in Denver, Colorado. We are looking for multiple Embedded Software Engineers to join Iontra's embedded software tea…

We are ex-BitTorrent engineers who also created the off-the-grid messaging app FireChat. At Clostra, we work on censorship-resistant mobile mesh networking (NewNode) and on applied machine learning. Clostra is profitable and growing (currently 18 en…

Do you want to get paid to use Rust? Do you have experience with systems programming, compilers, or operating systems? Do you like research-y work where the best solution is rarely the most obvious one? Do you care about security? Immunant is helpin…

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…

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…