Posted 1 week, 6 days ago
We're a small scientific software development company that develops custom scientific and engineering analysis applications in domains including space situational awareness, image simulation, high power microwave systems, modeling and simulation, la…
Hybrid (USA), Albuquerque NM, Tysons VA, Dayton OH
Posted 1 month, 1 week ago
Small scientific software development company building custom scientific and engineering analysis applications in domains including space situational awareness, image simulation, high power microwave systems, modeling and simulation, laser systems m…
Posted 2 months, 2 weeks ago
Small scientific software development company building custom scientific and engineering analysis applications including space situational awareness, image simulation, high power microwave systems, modeling and simulation, laser systems modeling, AI…
Posted 3 months, 1 week ago
Small scientific software development company building custom scientific and engineering analysis applications in domains including space situational awareness, image simulation, high power microwave systems, modeling and simulation, laser systems m…
Posted 3 years, 2 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 3 years, 4 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…