-
Ladder
Posted 2 years, 5 months ago
Ladder combines the power of innovative technology with world-class financial and insurance expertise to make it easy for anyone to access life insurance. Our digital experience is quick (instant decisions!), loved by users (check out our Trustpilot…
Locations
Palo Alto, CA, Remote (US)
-
Adacore
Posted 2 years, 5 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). Evertything…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Posted 2 years, 6 months ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everythi…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Temporal Technologies
Posted 2 years, 6 months ago
Temporal offers an entirely new way to build scalable and reliable applications. Temporal enables developers to focus on writing important business logic, and not on managing state or worrying about the underlying infrastructure. Sequoia Capital led…
Locations
United States
-
Temporal Technologies
Posted 2 years, 7 months ago
Temporal offers an entirely new way to build scalable and reliable applications. Temporal enables developers to focus on writing important business logic, and not on managing state or worrying about the underlying infrastructure. Sequoia Capital led…
-
Temporal Technologies
Posted 2 years, 8 months ago
Temporal offers an entirely new way to build scalable and reliable applications. Temporal enables developers to focus on writing important business logic, and not on managing state or worrying about the underlying infrastructure. Sequoia Capital led…
Locations
United States