G

Galois

Formal methods for high-assurance systems

Industrial Security Team Lead / Senior Facility Security Officer - Facility Security Officer

Full-TimeUpdated on 10/17/2026
No salary listed
Senior, Expert
Arlington County, Arlington, VA, USA
In PersonRegular travel to other Galois locations is required.
CybersecuritySecurity Governance, Risk & Compliance
No H1B Sponsorship
US Top Secret Clearance Required

About the job

Requirements
  • Eight to ten years of experience working in industrial security, special programs, security management, military or government information security programs.
  • Five to seven years of experience leading a team of experienced security professionals.
  • An active and transferable U.S. government-issued TS/SCI security clearance before the start date, and willingness to pursue a polygraph if needed.
  • Expert understanding of and experience implementing 32 CFR Part 117 (NISPOM).
  • Strong understanding of physical security requirements for collateral Restricted Areas.
  • Thorough understanding of and working experience with government and corporate security databases such as NISS, DISS, and eAPP.
  • Experience creating, modifying, and conducting initial security briefings, debriefings, indoctrinations, pre- and post-foreign-travel briefings, and refresher briefings.
  • Ability to develop and establish an effective security awareness, training, and education program, and assist in executing Technology Control Plan (TCP) requirements for foreign visitors.
  • Demonstrable experience influencing technical and non-technical personnel on policies, practices, and procedures.
  • Demonstrable experience communicating information security and risk-related concepts effectively to technical and non-technical audiences.
  • Completion of all required FSO training courses, with a certificate of successful completion for possessing facilities from DCSA.
  • Experience working in Special Programs and Sensitive Compartmented Information operations.
  • Willingness to regularly travel to other Galois locations to oversee the setup of new secure areas and/or collaborate with other Galois security professionals.
Responsibilities
  • Report directly to Galois’ General Counsel and other senior-level executives on security matters across the organization.
  • Lead and collaborate with other Galois FSOs to establish and maintain facility and information security requirements across all Galois facilities.
  • Provide oversight and direction to other Galois functional areas on security-related matters.
  • Manage and maintain compliance with the industrial security program for Galois’ Arlington, Virginia facility in accordance with the NISPOM, as well as other secure areas and facilities (Open Storage Spaces (OSS)) as needed, including preparing and maintaining accreditation documentation for each, such as UL certifications, open storage area approval checklists, and mitigation plans.
  • Use 32 CFR 2001.53 and other technical specifications to design new secure spaces or develop modifications and construction security plans for secure areas based on their accreditation status and sponsor requirements as needed.
  • Account for, control, transmit, package, and safeguard COMSEC information, and administer periodic software and cryptographic key updates.
  • Support IT staff in maintaining appropriate accreditation documentation for all information systems within Galois secure areas and address any shortcomings.
  • Implement OPSEC plans as needed.
  • Conduct security self-inspections, apply risk mitigation methodologies, support customer assessments, and implement security measures to meet emerging requirements.
  • Conduct personnel security processing actions, including requesting, reviewing, approving, and submitting clearance packages up to and including SCI nomination.
  • Process prime and subcontractor DD254s.
  • Escort uncleared personnel and visitors.
  • Generate and oversee a security education, training, and awareness program for Galois staff.
  • Ensure proper protection and corrective measures are taken when an incident or vulnerability is discovered.
  • Support Galois technical staff through coordination and visitor management, such as sending and receiving clearances through visitor approval requests (VARs)).
Desired Qualifications
  • Prior ISSO/ISSM experience.
  • CSSO training certificate.
  • CPSO training certificate.
  • Understanding of physical security requirements for OSS, SAP, and SCIF areas.
  • 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 documentation for each, such as UL certifications, open storage area approval checklists, TEMPEST checklists, and mitigation plans.

About the company

Galois applies formal methods and functional programming to build trust in critical systems used in aerospace, defense, government, fintech, and healthcare. Its work focuses on proving software and hardware behave correctly through mathematical proofs, not just tests, using tools like Cryptol for cryptographic specifications and SAW for verification. The company translates research into real-world technology for agencies and industry partners and spins out specialized companies to commercialize its innovations, while remaining employee-owned. Its goal is to deliver verifiable, high-assurance software and hardware for safety- and mission-critical applications.

Company Size

51-200

Company Stage

N/A

Total Funding

$109.4M

Headquarters

Portland, Oregon

Founded

1999

Get referred to Galois

See people who can refer or advise you

Simplify Jobs

Simplify's Take

What believers are saying

  • DARPA's $12.6 million COOP award validates Galois's continuous-correctness platform through April 2026.
  • On March 31, 2026, Galois released an AADL Library for SysMLv2 with Collins Aerospace.
  • In January 2026, CAMET became free for ten users, widening adoption and upsell.

What critics are saying

  • Galois depends on government customers; COOP ended April 2026, forcing replacement revenue.
  • Free CAMET undercuts recurring license revenue unless Enterprise sales quickly offset losses.
  • If DARPA and ARPA-H funding dries up, Galois becomes an endangered services boutique.

What makes Galois unique

  • Galois still sells mathematical proofs for critical systems, not testing, as of August 2026.
  • Its 2026 AI-for-formal-methods stack targets legacy code, specification generation, and Rust transpilation.
  • The company keeps spinning out niche businesses, including ExistX and Niobium Microsystems.

Help us improve and share your feedback! Did you find this helpful?

Benefits

  • Health Insurance
  • Dental Insurance
  • Vision Insurance
  • Health Savings Account/Flexible Spending Account
  • 401(k) Retirement Plan
  • 401(k) Company Match
  • Company Equity
  • Mental Health Support
  • Paid Vacation
  • Paid Holidays
  • Parental Leave
  • Hybrid Work Options

Growth & Insights and Company News

Headcount

6 month growth

1%

1 year growth

1%

2 year growth

0%
SBIR.gov
Sep 13th, 2026
Awards | SBIR

For best search results, use the search terms first and then apply the filters. Search results are downloadable for 10,000 or fewer records.