Skills & Focus: formal verification, hardware assurance, systems architecture, model checking, theorem proving, chip design, system validation, security properties, Software Engineering, Haskell
About the Company: Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of informati…
Experience: Experience in formal verification, hardware assurance, and systems development; hands-on experience with industry practices is preferred.
Type: Full-time
Benefits: Employee Stock Ownership Plan (ESOP), 401(k) with 5% match, fully paid medical insurance, dental and vision reimburseme…