About this role
Research Engineer at Galois, Inc.. Location: Minneapolis, Minnesota, United States. Role: Requirements, Architecture design, Formal verification Requirements: Bachelor's in CS required; MS/PhD desirable. Experience with formal methods and programming languages; hands-on software development; familiarity with model checking, theorem proving; strong customer communication. Category: Research and Development (R&D) Seniority: Mid Level Tools: Haskell, model checking, theorem proving, formal verification, programming languages, executable formal specifications Commitment: Full Time Workplace: Hybrid Languages: English