Posted 4 days, 2 hours ago
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…
Posted 1 year, 6 months ago
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…
Paris, France
Posted 1 year, 7 months ago
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…
Paris, France
Posted 1 year, 9 months ago
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 …
Posted 1 year, 9 months ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertyth…
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Posted 1 year, 9 months ago
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 …