[ engineering ]
Formal Verification Engineer
Matx
- Location
- Mountain View, California
- Work mode
- Remote
- Type
- full time
- Listed
Applications go directly to Matx. Ramai takes no fee for placement and no money for ranking.
[ About this role ]
MatX is seeking a Formal Verification Engineer to apply model checking and formal property verification to hardware and software. The role involves developing machine-checked proofs for compiler transformations and building embeddings of hardware description languages into interactive theorem provers.
Skills and focus areas
- formal verification
- model checking
- rtl verification
- memory subsystems
- interconnects
- compiler correctness
- interactive theorem provers
- hardware description languages
- microarchitecture
- compiler ir design
- sva
- psl
Summary written by Ramai from the original posting. Full details and requirements are on Matx’s careers page.
[ Similar roles at other startups ]
- Software Engineer - SystemsDoe
- Site Reliability Engineer, Sr. Site Reliability EngineerProve
- Senior Software Engineer, ComputationAurora Solar
- Chief Technology OfficerArtsy
- Staff Technical Program Manager - MobileMX Technologies
- Software Engineer - Full-stackCardless
[ Not quite right? ]
Tell the assistant what you’re after — stage, location, stack, visa sponsorship — and it searches every open role for you. A few questions are free, no account needed.