934 open positions
Emulation Engineer
MatXMountain View (HQ) or Remote
$160k–$160k4mo
Building infrastructure, flows, and debug methodology for advanced connectivity SoCs to support high-performance GenAI silicon.
Formal Verification Engineer
MatXMountain View (HQ) or Remote
$160k–$160k4mo
Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects; develop machine-checked proofs for compiler transformations; embed hardware description languages and simulator models into interactive theorem provers…
← Select a job to preview