San Mateo, Portland, Austin
Formal Methodology

Microprocessor Architect

SiFive is looking for hardware engineers who are passionate about applying their domain expertise in a radically new way of building hardware systems by developing massively customizable hardware generators. The role spans multiple aspects of processor design including architecting the front end and the back end, and implementing the design in a Coq-based DSL enabling scalable formal verification of the processors. SiFive prides itself in leading the industry by developing and adopting cutting-edge technologies to solve persistent problems in the hardware industry. Join us in building the next new technology for building provably correct processors.

The Challenge

  • Designing provably correct CPU cores, based on the revolutionary open RISC-V architecture, using revolutionary tools in formal methodology;
  • Mastering the art of designing hardware as configurable generators and help proving the correctness of the hardware by supplying all the requisite invariants;
  • Working in a fast-paced dynamic environment to bring new hardware IP to market quickly, with high quality and exceptional performance.

What you bring to the challenge

  • Knowledge of CPU architecture;
  • Proficiency with hardware (RTL) design in Verilog;
  • Proficiency in intuitively understanding the invariants of a design;
  • Proficiency in math and logic;
  • Ability to come up with rigorous (paper and pencil) proofs about correctness of systems;
  • Proficiency in functional programming;
  • Attention to detail and a focus on high-quality design.

Nice to have

  • Experience with theorem provers/proof assistants;
  • Background of successful CPU development from architecture through tapeout.
SiFive is proud to be an equal employment opportunity workplace. We offer a competitive compensation package that includes flexible paid time off, health, vision and dental benefits, 401(k) plan, employee stock option program, and much more. If you yearn to be challenged and wish to work in an environment where the boundaries of your creativity and skills will be tested, then SiFive is place for you.