Galois Defense Research
Galois provides formal verification, cybersecurity research, and software assurance for defense.
Headquarters
Portland, Oregon, United States
Founded
1999
Entity Type
private company
Key Products
Similar Companies
Other companies in Cybersecurity
Absolute Software Government
Absolute provides endpoint security and device management for defense IT infrastructure.
Acorn International
Acorn provides IT services, communications, and technical support for defense agencies.
Amazon Web Services GovCloud
American company providing cloud services for defence. Founded in 2006, headquartered in Seattle, WA, specializes in govcloud, cloud services.
Amentum
American engineering and services company for national security. Founded in 2020, headquartered in Germantown, Maryland, USA.
More in United States
2369 defence companies in United States
3D Systems Defense
US company providing 3D printing and digital manufacturing for defense.
3M Aerospace Sealants
US company providing sealants and tapes for military aerospace.
3M Ceradyne Defense
United States-based subsidiary, subsidiary of 3M. Specializes in ceramic armor, plates, helmets for defense and military applications.
3M Ceramics Defense
US company providing ceramic armor materials and ballistic protection solutions.
About Galois Defense Research
Galois Defense Research is a private company headquartered in Portland, Oregon, United States. Established in 1999, the company has built expertise in cybersecurity.
Key products and capabilities include Formal verification, cybersecurity, software assurance.
United States is home to 2369 defence and aerospace companies tracked in the Computronia directory, making it a significant player in the global defence industrial base.