Hardware Formal Methods Researcher / Engineer
Galois tackles the hardest problems in computer science. We are a team of researchers and engineers who enjoy the challenge of problems that have never been solved before. Our mission is to ensure trust in critical systems, including cyber-physical and other hardware systems.
We are currently seeking researchers/engineers with formal methods expertise to perform research on hardware verification challenges. Hardware assurance plays a pivotal role in fulfilling our mission to make critical systems trustworthy.
Galois engineers participate in one or more projects concurrently, and specific roles vary greatly according to skills, interests, and company needs. Your role may include technology research and development, requirements gathering, implementation, testing, formal verification, infrastructure development, project leadership, and/or supporting new business development.
Skills & Requirements
· Education – Minimum of a Masters degree in computer science, electrical and computer engineering, or equivalent. PhD in CS, ECE, EE, or a related field desirable but optional, depending on specific role.
· Required Technical Expertise – In-depth understanding of formal verification principles, methods and relevant standard industry practices. Demonstrated experience in logic-based formal verification, including formal modeling languages and verification techniques (e.g., model checking, constraint solving, theorem proving). Expertise in applying formal property verification of micro-architectures. Demonstrated hands-on experience developing VLSI CAD technologies or hardware and/or performing computer science or engineering research.
· Desired Technical Expertise – Fluency in the use of modern commercial and open source EDA technologies used in the development of FPGA and VLSI-based secure systems. Knowledge of hardware engineering languages and platforms such as Chisel, Bluespec, System Verilog, and Verilog, and programming languages such as Haskell, Verifiable C, or Rust is necessary.
Direct experience in developing high assurance systems and/or security products is a plus, as is experience with CAD software, hardware security (SGX, enclaves, etc.), and low-level systems software. RISC-V expertise is particularly useful.
· Required General Skills – Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills. Must be highly motivated and able to self-manage to deadlines and quality goals.
Our hardware engineers develop new CAD technologies using novel hardware design and programming languages. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment.
We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. If you are interested, please submit your cover letter and resume to us.
More About Galois
At Galois, we maintain a unique organizational structure tailored to the needs of the innovative projects we deliver. Our organizational structure is collaborative, one-level flat, and based on principles of well-defined accountabilities and authorities, transparency, and stewardship. We aspire to provide employees with something that matters to them beyond just a paycheck — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings them value as a person.
We believe in individual freedom in the roles we choose, and in the projects we pursue — our research focus areas are the intersection of staff interests and corporate strategy. We choose practices that best suit the project, team, and leaders, with company-wide standards kept to a minimum to ensure we are making the right choices for the situation rather than just business-as-usual choices.
For more on our organizational structure, check out this paper we published.