Posted 1 year, 10 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, 10 months ago
Solo is an application networking company working with open source, cloud native technologies. If you are passionate about technologies like containers, Kubernetes, Istio, Envoy Proxy, GraphQL, eBPF, WASM (server side), serverless functions, and mor…
Posted 1 year, 10 months ago
QAware is a project house with ~180 employees, creating value for enterprise customers like BMW, Deutsche Telekom, Allianz and more. QAware was founded in 2005 and is very well funded. We are continuously ranked among the top employers in Germany - …
München, Mainz
Posted 1 year, 11 months ago
We are focused on elevating the next generation of startups in Brazil and Latin America. There is so much friction for startups and we truly believe that they are an incredible lever for economic progress and social mobility. We started as a communi…
Posted 1 year, 11 months ago
Vouch is building an insurance company that can keep up with the rapid change that characterizes the startup lifecycle. We're doing this by making insurance fast, responsive, and focused on our customer - startups. Our team is currently 200+ people,…
SF, Chicago
Posted 1 year, 11 months ago
Annual emissions from U.S. fleet-operated fossil-fuel cars and trucks: contribute ~1Gt CO2e, or 2% of the world's total GHG emissions, kill ~10,000 people. We can save lives and abate climate change by replacing these vehicles with clean equivalents…
REMOTE US, San Francisco