{"source":"Breaknorm","page":"https://breaknorm.co/company/galois.com","license":"https://breaknorm.co/terms","domain":"galois.com","name":"Galois","legal_name":"Galois","country":"US","country_second":"CA","city":"Portland","admin1":"Oregon","vertical":"technology_software","subvertical":"software_dev_ai_agencies","leaf":"other_software_dev_ai_agencies","summary":"Galois is a research and development company that provides formal methods, cryptography, and rigorous digital engineering for critical systems. Its offerings include high-assurance solutions and tools such as C2Rust, SIEVE, ESSENCE, and LAGOON, serving aerospace and defense, fintech, healthcare, semiconductors, and enterprise IT. It works with government and defense agencies including DARPA, NASA, and the U.S. Department of Defense.","offerings":["high-assurance solutions","formal analysis tools","C2Rust tool","SIEVE tool","ESSENCE tool","LAGOON tool"],"target_customers":["aerospace and defense","automotive","fintech","healthcare","semiconductors"],"business_model":["B2B","B2G"],"geo_scope":"international","headcount":"51-200","headcount_source":"linkedin","revenue":"10M-50M","revenue_source":"estimated","certifications":[],"langs":["en"],"linkedin":"https://www.linkedin.com/company/galois-inc-","reviews":[],"contact_points":1,"contact_phones":1,"page_types":["privacy","pricing","terms","team","home","careers","references","services"],"crawled":"2026-09-09","profiled":"2026-09-12","indexed":"2026-09-19","hiring_built":"2026-10-28","website_tech":["google_workspace","mailchimp","salesforce"],"hiring":{"open":3,"open_postings":3,"new_7d":0,"new_30d":0,"new_90d":0,"closed_30d":0,"countries":["US"]},"hiring_functions":[["facilities_cleaning_and_security",1,0],["research_and_science",1,0]],"tech_jobs":[{"slug":"chisel","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-01-05","function":"","quote":"• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.","title":"Research Engineer"},{"slug":"haskell","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-01-05","function":"","quote":"• Fluent in using semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications.","title":"Research Engineer"},{"slug":"sysml","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-01-05","function":"","quote":"• Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.","title":"Research Engineer"},{"slug":"systemverilog","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-01-05","function":"","quote":"• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.","title":"Research Engineer"},{"slug":"verilog","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-01-05","function":"","quote":"• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.","title":"Research Engineer"},{"slug":"vhdl","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-01-05","function":"","quote":"• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.","title":"Research Engineer"},{"slug":"sap","status":"active","confidence":"low","jobs":1,"first_seen":"2026-07-30","function":"facilities_cleaning_and_security","quote":"• Ability to manage and maintain compliance with the industrial security program for Special Access Programs (SAP) and Sensitive Compartmented Information Facilities (SCIF)) as needed including preparing and maintaining accreditation docume","title":"Industrial Security Team Lead / Senior Facility Security Officer (FSO)"}],"intents":[],"recent_postings":[{"id":11563431,"title":"Research Engineer - Formal Methods","city":"Boston","function":"data_and_ai","family":"data_and_ai/ai_ml_research","seniority":null,"posted":"2026-10-29","url":"https://apply.workable.com/j/DF61ADAF3A","tech":["haskell","sysml","vhdl","chisel","systemverilog","verilog"]},{"id":512349,"title":"Industrial Security Team Lead / Senior Facility Security Officer (FSO)","city":"Arlington","function":"facilities_cleaning_and_security","family":"facilities_cleaning_and_security/security_guarding","seniority":"manager","posted":"2026-07-30","url":"https://apply.workable.com/j/5502375209","tech":[]},{"id":512350,"title":"Principal Scientist","city":"Arlington","function":"research_and_science","family":"research_and_science/scientific_research","seniority":"senior","posted":"2026-04-13","url":"https://apply.workable.com/j/165CC05D51","tech":[]},{"id":512351,"title":"Research Engineer","city":"Arlington","function":"","family":null,"seniority":null,"posted":"2026-01-05","url":"https://apply.workable.com/j/2E49DBE9CB","tech":["haskell","sysml","vhdl","chisel","systemverilog","verilog"]}],"ats":"Workable","similar":[{"domain":"integratedlabsolutions.com","name":"Integrated Lab Solutions","country":"DE","city":"Berlin","headcount":"51-200","leaf":"testing_laboratories","summary":"Integrated Lab Solutions is a service provider of chemical R&D that designs, builds and commissions automated reactor systems and offers contract R&D, feasibili."},{"domain":"technigroupe.com","name":"Technigroupe","country":"BE","city":"Rocourt","headcount":"51-200","leaf":"valve_actuator_manufacturers","summary":"Technigroupe is a service company that provides severe service applications and technical solutions for the oil & gas, petrochemical, cryogenic, refinery, energ."},{"domain":"igw.de","name":"Unternehmensgruppe Gullert & Wilke","country":"DE","city":"Lotte","headcount":"51-200","leaf":"general_engineering_consultancy","summary":"Unternehmensgruppe Gullert & Wilke is an engineering service provider that offers planning, development and construction services for companies."},{"domain":"rothe.com","name":"Rothe","country":"US","city":"Webster","headcount":"51-200","leaf":"it_services_and_consulting","summary":"Rothe is a service company that provides cybersecurity, computer engineering, software development, human spaceflight calibration, mission operation training, m."},{"domain":"logoskimya.com","name":"Logos","country":"TR","city":null,"headcount":"51-200","leaf":"pump_manufacturers","summary":"Logos is a technology company that designs, develops and produces high-pressure pneumatic systems for aerospace, petrochemical, natural gas and space applicatio."},{"domain":"amplindia.com","name":"Aromotive Technologies","country":"IN","city":"Nighoje","headcount":"51-200","leaf":"other_industrial_machinery_manufacturing","summary":"Aromotive Technologies is a precision-manufacturing company that produces precision-engineered tools for leading industries worldwide."}],"similar_scored":600,"customers":null,"as_of":"2026-11-01","updated_at":"2026-11-01","hash":"bb2390d86a60147e","index_tier":1}