-
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...). Evertyth…
Roles
Software EngineersLocations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Bend Financial
Posted 6 years, 2 months ago
The Bend team helps individuals and employers get on the path to financial health by simplifying and improving the Healthcare Savings Account experience. We understand that not everyone is a financial genius—and people shouldn’t have to be in order …