136,313 open positions
Formal Verification Engineer
MatXMountain View (HQ) or Remote
$160k5mo
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…
SOC Micro-Architect and RTL Designer
MatXMountain View (HQ) or Remote
$160k5mo
Designing high-performance silicon micro-architecture and RTL for compute, memory management, and high-speed connectivity subsystems for AGI training workloads.
← Select a job to preview