About the Company
Galois is focused on solving some of the most difficult problems in computer science. Its mission is to ensure trust in critical systems by applying formal analysis techniques that model, analyze, and mathematically prove system correctness under all conditions. The organization brings together researchers, engineers, and operations personnel in a collaborative environment committed to transparency, innovation, and individual authenticity. Galois is employee-owned and supports a culture that values personal growth and freedom both inside and outside of work.
About the Role
Galois is seeking a Software Engineer or Researcher with expertise in programming languages and formal methods. The role centers on conducting formal verification of software and systems to ensure high standards of security and correctness. This position requires strong technical capabilities as well as the ability to collaborate in a highly cooperative and intellectually rigorous environment.
Responsibilities
- Gather requirements through iterative discussions with clients
- Design software system architecture with a focus on assurance and formal methods
- Develop implementations from prototypes to production-ready systems
- Use formal verification tools such as theorem provers and model checkers to analyze system properties
- Conduct system, unit, and regression testing along with semi-formal validation
- Engage in speculative research and incorporate new technologies into prototypes
- Develop internal tools and shared library code for broader use within Galois
Required Skills
- Bachelor’s degree in computer science or a related field is required
- MS or PhD in computer science or a related field is preferred but not required
- Background in programming languages and formal methods
- Hands-on experience with software development and formal verification techniques
- Knowledge of formal methods such as model checking, theorem proving, program analysis, and formal semantics, with expertise in at least one area
- Experience with all aspects of software engineering practices
- Familiarity with functional programming languages such as Haskell, including use for executable specifications
- Ability to engage effectively with customers, including needs assessment and clear communication
- Strong motivation and ability to manage deadlines and quality independently
Preferred Skills
- Experience developing high-assurance systems or security products
- Familiarity with Model Based Systems Engineering tools such as SysML and AADL
- Knowledge of hardware description languages such as VHDL, Chisel, Bluespec, SystemVerilog, or Verilog
Benefits
- Employee Stock Ownership Plan (ESOP)
- 401(k) plan with 5% employer match and immediate vesting
- Fully paid medical insurance and dental and vision reimbursement
- Health Savings Account (HSA) with employer contributions
- Mental health and wellbeing support
- 5 weeks paid time off and 9 paid company holidays annually
- 16 weeks fully paid parental leave
- 1 week of paid “Blue Sky” innovation time annually
Location
- Hybrid work environment available
- Office locations include Arlington, VA – Dayton, OH – Minneapolis, MN – Portland, OR
- Boston, MA is also an acceptable location