About this role
Research Engineer at Galois, Inc.. Location: Boston or Arlington or Dayton or Minneapolis or Portland. Role: design architectures, implement software, formal verification Requirements: Bachelor's degree in CS required; MS/PhD preferred. Experience with formal methods, programming languages, and software development; familiarity with model checking, theorem proving, and executable specifications; strong communication. Category: Software Development Seniority: Mid Level Tools: Haskell, Formal methods, Model checking, Theorem proving, Program analysis, Executable formal specifications Commitment: Full Time Workplace: Hybrid Languages: English