Unto Labs is developing the Thru Layer-1 blockchain. We are tackling fundamental scalability, performance, and usability challenges in distributed ledgers. Our runtime conforms to the RISC-V specification, allowing for smart contracts and programs i…

We are building a fundamentally new programming language for authoring high performance machine learning kernels on AMD GPUs and the rest of our hardware portfolio. To enable this, we are looking for a wide variety of roles ranging from GPU performa…

We're a small team dedicated to elimination of memory safety errors. We're maintaining the C2Rust tools and use it to move C code to Rust. If you're good at systems programming, we'd like to hear from you. Specifically, we're interested with folks w…

We are a Paris-based startup founded in 2020, competing in the race towards building the world’s first universal, fault-tolerant quantum computer. Our approach to error correction is based on the cat qubit, which belongs to the family of superconduc…

We are a Paris-based startup founded in 2020, competing in the race towards building the world’s first universal, fault-tolerant quantum computer. Our approach to error correction is based on the cat qubit, which belongs to the family of supercondu…

Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …