About GALOIS, INC.
Galois has over 25 years of experience combining mathematical rigor with creative problem-solving to ensure trustworthiness in critical systems. The company provides high-assurance solutions and tools that enhance security, reliability, and operational efficiency across multiple sectors.
Formal methods for system verificationAdvanced cryptography and privacy solutionsAI/ML and data science for critical systemsRigorous digital engineering and software systems analysisTools for secure and reliable software development (e.g., Cryptol, SAW, Swanky, C2Rust)Model-based engineering tools for aerospace and defense systemsFormally verified control and protection systemsTrustworthy AI/ML for defense and critical applications
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| THE SAFE DOCUMENTS (SAFEDOCS) PROGRAM WILL DEVELOP NOVEL VERIFIED PROGRAMMING METHODOLOGIES FOR BUILDING HIGH | Department of Defense | $21.4M | |
| RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROPOSAL TITLED POLYMORPH. | Department of Defense | $12.0M | |
| DATA PROTECTION IN VIRTUAL ENVIRONMENTS (DPRIVE) | Department of Defense | $16.6M | |
| TITLE: SYSTEMS ENGINEERING BASED ASSESSMENT APPROACHES FOR DIGITAL REACTOR PROTECTION SYSTEMS | Nuclear Regulatory Commission | $292K | |
| SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE) PROGRAM | Department of Defense | $16.7M |
Teaming History
Prime contractors GALOIS, INC. has worked under:
- Battelle Memorial Institute — 14 subcontract(s)
- Johns Hopkins University Applied Physics Laboratory Llc, The — 2 subcontract(s)
- Two Six Labs, Llc — 2 subcontract(s)
- Georgia Tech Applied Research Corporation — 1 subcontract(s)
- Transportation Research Center Inc. — 1 subcontract(s)
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to GALOIS, INC. right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate, or want this page removed? Request a correction or removal.