About Galois
Galois works on some of the most complex problems in computer science, focusing on building trustworthy systems that protect data integrity and privacy. A key part of our approach involves using formal methods—rigorous, mathematical techniques—to ensure that systems behave exactly as intended, even in the most critical situations.
We’re a collaborative team of researchers, engineers, and operations professionals committed to building secure, reliable technology across all areas of our organization. Our culture values transparency, trust, innovation, and personal authenticity. We operate with a flexible structure that supports our diverse, cutting-edge projects.
As an employee-owned company, we give our team members the freedom to explore personal and professional growth opportunities. Whether you’re passionate about learning, advancing your career, or simply being part of a strong community, Galois aims to support you.
About the Role
We’re hiring a Software Engineer/Researcher to join our team, particularly someone with a strong background in programming languages and formal methods. You’ll help develop advanced technologies and perform formal verification of software and systems to ensure they meet high security and reliability standards.
Key Responsibilities
-
Requirements gathering – Work with clients to define needs and propose solutions.
-
System architecture/design – Design system structures and plan where formal methods will be applied.
-
Implementation – Build robust, user-friendly software from prototypes.
-
Formal verification – Use tools like theorem provers or model checkers to verify correctness and security.
-
Testing/validation – Develop and conduct tests to ensure system quality.
-
Research & development – Explore new technologies and integrate them into projects.
-
Tool development – Build internal tools and reusable libraries for Galois projects.
Required Qualifications
-
Education: A Bachelor’s degree in Computer Science (or equivalent) is required; a Master’s or PhD is a plus.
-
Technical Skills:
-
Strong knowledge of programming languages and formal methods.
-
Experience in formal verification (e.g., model checking, theorem proving).
-
Proficiency with functional languages like Haskell.
-
Solid background in software engineering practices.
-
-
Soft Skills:
-
Strong communication and collaboration with clients and team members.
-
Self-motivated, reliable, and capable of managing goals independently.
-
Preferred Experience (Bonus Skills)
-
Working on high-assurance or security-critical systems.
-
Familiarity with Model-Based Systems Engineering tools (SysML, AADL).
-
Knowledge of hardware design languages (e.g., VHDL, Verilog, SystemVerilog, Chisel).
Security & Citizenship
-
Must be eligible for a DoD Secret security clearance.
-
Must not need a U.S. export license to access restricted technologies.
Work Location
We offer a hybrid work model. Candidates can be based in our offices in:
-
Arlington, VA
-
Dayton, OH
-
Minneapolis, MN
-
Portland, OR
Boston, MA is also an option.
Benefits
Our benefits include:
-
Employee ownership (ESOP)
-
401(k) with 5% match and immediate vesting
-
Fully covered medical, dental, and vision plans
-
HSA with generous employer contributions
-
Paid mental health support
-
5 weeks PTO + 9 paid holidays
-
16 weeks fully paid parental leave
-
1 week of paid “innovation time” per year
Compensation
Pay is based on the value and impact of your work. We maintain full transparency in how compensation is determined and adjusted.
Equal Opportunity
Galois is committed to diversity, equity, and inclusion. We provide equal employment opportunities and accommodations in accordance with the law and strive to support all individuals regardless of background or identity.