We are a company trying to tackle climate change through energy efficiency. The built world (residential and commercial buildings) accounts for about 40% of carbon emissions. We aim to do something about that. In a nutshell, we turn the budget and e…

Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada, a sove…

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…

We're looking for a Staff Software Engineer in our Developer Infrastructure team -- seeking someone with 4-7 years of experience depending on how much Rust experience you have an how willing you are to mentor/coach other developers. We use Rust for …

Intervall explores and designs digital solutions at the highest level and implements them for customers. Our motivation: to shape our future digital society. As Rust Developer (f/m/d) at Intervall, you work on exciting, challenging and innovative pr…

Lurk Lab is building Lurk, a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify…