Minneapolis, MN30+ days ago
With clients including DARPA, NASA, AWS, and the DoD / DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech. From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world’s most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.