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…

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

Adacore is the maintainer of GNAT, the Ada compiler based on GCC. We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). We are looking for a lot of different profiles: senio…

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

Zama’s mission is to bring end-to-end encryption to AI. Using their homomorphic inference platform, companies can process their customer’s data without seeing it, thereby preventing data breaches and surveillance. Zama’s cofounders are Dr Pascal Pai…