About this role
Research Engineer at Galois, Inc.. Location: Arlington or Dayton or Minneapolis or Portland or Boston. Role: Gathering requirements, Designing architecture, Implementing software Requirements: Bachelor's in CS required; MS/PhD desirable; strong background in programming languages, formal methods, verification; experience with model checking/theorem proving; strong communication. Category: Software Development Seniority: Mid Level Tools: Haskell, Formal Methods, Model Checking, Theorem Proving, Program Analysis, Formal Semantics Commitment: Full Time Workplace: Hybrid Languages: English