Description
MatX is hiring a Formal Verification Engineer to apply model checking and formal property verification to hardware RTL, memory subsystems, interconnects, and compiler transformations. The role develops machine-checked proofs, embeds hardware description languages and simulator models into interactive theorem provers, and establishes formal-tool methodologies. Candidates should have hands-on hardware model-checking experience, practical experience with an interactive theorem prover, and familiarity with compiler correctness or verified compilation. The position offers a full-time US base salary of $160,000–$600,000 plus equity, depending on career level, along with medical, dental, vision, retirement, and other benefits.
